Processed: ITP: metamath-databases -- Sample databases for Metamath

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing commands for control@bugs.debian.org:

> owner 947405 Giovanni Mascellani <gio@debian.org>
Bug #947405 [wnpp] ITP: metamath-databases -- Sample databases for Metamath
Owner recorded as Giovanni Mascellani <gio@debian.org>.
>
End of message, stopping processing here.

Please contact me if you need assistance.
-- 
947405: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=947405
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems