Thu, 05 Dec 2013 18:28:06 +0100 | wenzelm | recover 175b43e0b9ce from lost update in cc126144f662; | changeset | files |
Thu, 05 Dec 2013 18:25:28 +0100 | wenzelm | merged | changeset | files |
Thu, 05 Dec 2013 18:02:55 +0100 | wenzelm | relocate NEWS to post-release version (cf. 7a14f831d02d); | changeset | files |