Bug#773342: marked as done (mingw32: copyright file missing after upgrade (policy 12.5))

2015-01-17 Thread Debian Bug Tracking System
Your message dated Sat, 17 Jan 2015 21:34:06 + with message-id e1ycb0q-00053x...@franck.debian.org and subject line Bug#773342: fixed in gcc-mingw-w64 15 has caused the Debian Bug report #773342, regarding mingw32: copyright file missing after upgrade (policy 12.5) to be marked as done. This

Bug#773342: marked as done (mingw32: copyright file missing after upgrade (policy 12.5))

2014-12-19 Thread Debian Bug Tracking System
Your message dated Fri, 19 Dec 2014 22:18:58 + with message-id e1y25sw-0001ao...@franck.debian.org and subject line Bug#773342: fixed in gcc-mingw-w64 14.3 has caused the Debian Bug report #773342, regarding mingw32: copyright file missing after upgrade (policy 12.5) to be marked as done.