Changes between Initial Version and Version 1 of Ticket #11218

Timestamp:

Jun 25, 2013, 5:12:59 PM (11 years ago)

Author:

Christian Boos

Comment:

It looks like there's no ticket for this, but this issue was already fixed in r11683.

… and in July, we should really find some time to release 1.0.2! ;-)