June 19, 2008
12:22 p.m.
On Thu, 2008-06-19 at 13:51 +0200, Stéphane Ducasse wrote:
Hi Adrian
I pushed the updates. Can you check if this is ok?
For me it is not working. It doesn't load any package from script132. I can't see what is going wrong but I checked for a few packages that are in script132 and they didn't get updated. Norbert