| Thu, 09 Jun 2011 16:34:49 +0200 | wenzelm | discontinued Name.variant to emphasize that this is old-style / indirect; | file | diff | annotate |
| Wed, 27 Apr 2011 19:39:50 +0200 | wenzelm | some adhoc renaming, to accomodate more strict checks of fixes (cf. 4638622bcaa1); | file | diff | annotate |