tags 751108 fixed-upstream thanks On Tue, Jun 10, 2014 at 01:35:50PM +0100, Michael Tautschnig wrote: > Package: weechat > Version: 0.4.3-3 > Usertags: goto-cc > > During an analysis of all Debian packages using our research compiler > tool-chain > (using tools from the cbmc package) the following error was found: Thanks for the bug report.
The upstream developer has already fixed this bug[1]. [1] https://github.com/weechat/weechat/commit/d0fa44865ce8e22edf5c23bb048556106795f560 Regards, M. -- Emmanuel Bouthenot mail: kolter@{openics,debian}.org gpg: 4096R/0x929D42C3 xmpp: [email protected] irc: kolter@{freenode,oftc} -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
