ggtags (0.8.13-1) unstable; urgency=medium

  * Initial release (Closes: #961435).

 -- Sean Whitton <spwhitton@spwhitton.name>  Sun, 24 May 2020 08:22:02 -0700
