Matthias Wachs picked up issue 0002930
2013-07-09 13:39
Matthias Wachs created issue 0002930
2013-07-09 13:39
Christian Grothoff commented on issue 0001540
2013-07-09 08:58
Matthias Wachs commented on issue 0001540
2013-07-09 08:53
Christian Grothoff reopened issue 0001540
2013-07-08 20:42
Christian Grothoff commented on issue 0001540
2013-07-08 20:42
2013-07-08 20:35
2013-07-08 20:33
Matthias Wachs resolved issue 0001540
2013-07-08 16:53
Matthias Wachs commented on issue 0001540
2013-07-08 16:53
Bart Polot commented on issue 0002924
2013-07-08 15:03
Bart Polot resolved issue 0002924
2013-07-08 15:02
Bart Polot commented on issue 0002924
2013-07-08 15:02
2013-07-07 02:31
Florian Dold created issue 0002924
2013-07-07 02:31
Christian Grothoff resolved issue 0002922
2013-07-05 18:58
Christian Grothoff commented on issue 0002922
2013-07-05 18:58
Christian Grothoff resolved issue 0002899
2013-07-05 12:12
Christian Grothoff commented on issue 0002899
2013-07-05 12:12
Matthias Wachs resolved issue 0002913
2013-07-02 17:09
Matthias Wachs commented on issue 0002913
2013-07-02 17:08