Hi Mathias,

On 28.07.24 08:18, Mathias Gibbens wrote:
   Rather than patching up
this library, would it be OK with you if we filed a RM bug to remove it
from the archive?

yes, please do so.

  Thorsten

Reply via email to