![](https://secure.gravatar.com/avatar/5d45261e2c25eef5a2984452066b3a67.jpg?s=120&d=mm&r=g)
9 Jul
2007
9 Jul
'07
12:14 a.m.
*** tex.ch.org 2006-12-19 02:35:49.000000000 +0100 --- tex.ch 2007-03-07 17:08:49.000000000 +0100
Note that tex.ch has been changed since 2006-12-19. Therefore you will need some manual work, sorry.
It was an unnecessary fear. I've checked that the patch is still ok. Best regards, Akira