Michael J Rubinsky <mrubinsk <at> horde.org> writes: > > This was just pushed, try again? > Update went smoothly now, thanks. But those packages seemed to have created some problems for me (I already sent those to the users mailing list). Regards Henning