It seems that Gump is currently undergoing some major changes that may break builds now and then. They are themselves looking into any issues popping up. Let's just leave it for the moment and see what happens. The last problem was also fixed by them. The Barcode4J build, for example, also broke a few days ago due to another problem and succeeds again now.
On 20.10.2004 13:52:48 Glen Mazza wrote: > Well, thankfully we don't appear to be the only ones > with this problem [1], which may provide help in > finding its solution. Jeremias Maerki
