* Jakub Wilk <jw...@debian.org>, 2016-10-01, 16:52:
See https://bugzilla.redhat.com/show_bug.cgi?id=1306162 for the analysis.
Oops, I actually meant: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69534 -- Jakub Wilk
- Bug#823419: openjade: Broken if rebuilt using g... Jakub Wilk
- Processed: Re: Bug#823419: openjade: Broke... Debian Bug Tracking System
- Bug#823419: openjade: Broken if rebuilt us... Jakub Wilk
- Processed: Re: Bug#823419: openjade: B... Debian Bug Tracking System
- Bug#823419: openjade: Broken if rebuil... Jakub Wilk
