[horde] horde-remove-user-data does not delete data from horde_histories

[Michael Menge]

Hi,

i have discovered that deleting a user with horde-remove-user-data does not
remove entries from the horde_histories table.

I understand that the data may be needed if it is reladed to a shared  
addressbook, kalendar ...
that still exists. But IMHO deleting a share should delete related  
entries in horde_history.

Or is there a reason that data is still needed.

Kind Regards

    Michael Menge

--------------------------------------------------------------------------------
M.Menge                                Tel.: (49) 7071/29-70316
Universität Tübingen                   Fax.: (49) 7071/29-5912
Zentrum für Datenverarbeitung          mail:  
michael.menge at zdv.uni-tuebingen.de
Wächterstraße 76
72074 Tübingen