Processed: ITP: gindex -- Gapped-spaced index with minimizer support

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

Processing commands for control@bugs.debian.org:

> owner 963204 Antoni Villalonga <antoni@friki.cat>
Bug #963204 [wnpp] ITP: gindex -- Gapped-spaced index with minimizer support
Owner recorded as Antoni Villalonga <antoni@friki.cat>.
>
End of message, stopping processing here.

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