[dev] error in HEAD horde

[Kurt Van Schaeybroeck]

With the admin user logged in, when clicking on
'administration' and then 'Configuration', I get
teh following error.


Invalid argument supplied for foreach() in
/usr/local/psa/home/vhosts/media-art.be/httpdocs/horde/lib/Form/Renderer.php
on line 556

I have only horde and kronolith HEAD installed, which are from
Tuesday 1 October, 17:00 GMT
Is this a known bug? Are can this be resolved by a setting somewhere?
Thx

Kurt