Bug#708942: marked as done ([gprbuild] GFDL non free file with front cover)

2014-11-08 Thread Debian Bug Tracking System
Your message dated Sat, 08 Nov 2014 16:22:37 + with message-id e1xn8mb-0005jt...@franck.debian.org and subject line Bug#708942: fixed in gprbuild 2014dfsg-1 has caused the Debian Bug report #708942, regarding [gprbuild] GFDL non free file with front cover to be marked as done. This means that

Bug#708942: marked as done ([gprbuild] GFDL non free file with front cover)

2013-07-17 Thread Debian Bug Tracking System
Your message dated Wed, 17 Jul 2013 11:33:15 + with message-id e1uzpyt-0001ff...@franck.debian.org and subject line Bug#708942: fixed in gprbuild 2011-4 has caused the Debian Bug report #708942, regarding [gprbuild] GFDL non free file with front cover to be marked as done. This means that you