← Back to team overview

widelands-dev team mailing list archive

Thread
Date

Re: [Merge] lp:~csirkeee/widelands/bug1150517_2 into lp:widelands

To: Kiscsirke <csirkeee@xxxxxxxxx>
From: Kiscsirke <csirkeee@xxxxxxxxx>
Date: Tue, 12 Mar 2013 20:09:22 -0000
In-reply-to: <20130312190721.29134.56446.launchpad@ackee.canonical.com>
Reply-to: mp+152987@xxxxxxxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

Ok, changed it to a warning similar to the one for the bad GCC version. Tested, and at least on my system, gives the expected results for old/new/nonexistent header file.
-- 
https://code.launchpad.net/~csirkeee/widelands/bug1150517_2/+merge/152987
Your team Widelands Developers is requested to review the proposed merge of lp:~csirkeee/widelands/bug1150517_2 into lp:widelands.

References

[Merge] lp:~csirkeee/widelands/bug1150517_2 into lp:widelands
From: Kiscsirke, 2013-03-12