Processed: Re: Bug#1003075: gnutls28: HTML API reference documentation is not generated

[Debian Bug Tracking System]

Processing control commands:

> tags -1 confirmed
Bug #1003075 [src:gnutls28] gnutls28: HTML API reference documentation is not generated
Added tag(s) confirmed.

-- 
1003075: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1003075
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems