[imp] Undefined property when emptying trash

[Volker Then]

Hi,

after today's HEAD update I'm getting errors when emptying the trash folder:


Notice: Undefined property: uid in /var/www/html/horde/imp/mailbox.php  
on line 705
Notice: Undefined property: uid in /var/www/html/horde/imp/mailbox.php  
on line 809
Notice: Undefined property: seen in  
/var/www/html/horde/imp/mailbox.php on line 822
Notice: Undefined property: answered in  
/var/www/html/horde/imp/mailbox.php on line 829
Notice: Undefined property: draft in  
/var/www/html/horde/imp/mailbox.php on line 834
Notice: Undefined property: flagged in  
/var/www/html/horde/imp/mailbox.php on line 847
Notice: Undefined property: deleted in  
/var/www/html/horde/imp/mailbox.php on line 852
Notice: Undefined property: msgno in  
/var/www/html/horde/imp/mailbox.php on line 915
Notice: Undefined property: uid in /var/www/html/horde/imp/mailbox.php  
on line 940
Notice: Undefined property: uid in /var/www/html/horde/imp/mailbox.php  
on line 950
Notice: Undefined property: uid in /var/www/html/horde/imp/mailbox.php  
on line 961

Bye

Volker