On Saturday 15 May 2010, Frans Pop wrote: > On Sunday 09 May 2010, Andreas Barth wrote: > > I also fixed hppa today > > Great, but seems to have a similar problem as ppc had: not built since > initial run. Ping. hppa is still not being built automatically. TIA