#6 Typo

closed-fixed
nobody
None
5
2011-07-09
2011-07-09
Christoph Korn
No

Just a typo.

Discussion

  • Christoph Korn
    Christoph Korn
    2011-07-09

     
    Attachments
  • M. Naumann
    M. Naumann
    2011-07-09

    Fixed in r2319 (mvejvoda), thanks for the patch.

     
  • M. Naumann
    M. Naumann
    2011-07-09

    • status: open --> closed-fixed