URL:
<http://gna.org/patch/?3769>
Summary: Fixed bug:#20518: Add-ons with the same title show
up as a single entry in the addon manager
Project: Battle for Wesnoth
Submitted by: thunderstruck
Submitted on: Sun 03 Mar 2013 11:34:32 PM GMT
Priority: 5 - Normal
Status: None
Privacy: Public
Assigned to: None
Originator Email:
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Details:
Add-ons list is being sorted using a set with comparator. The set is changed
to a multiset to fix identical titles issue.
_______________________________________________________
File Attachments:
-------------------------------------------------------
Date: Sun 03 Mar 2013 11:34:33 PM GMT Name: addons_titles.patch Size: 2kB
By: thunderstruck
<http://gna.org/patch/download.php?file_id=17383>
_______________________________________________________
Reply to this item at:
<http://gna.org/patch/?3769>
_______________________________________________
Message sent via/by Gna!
http://gna.org/
_______________________________________________
Wesnoth-bugs mailing list
[email protected]
https://mail.gna.org/listinfo/wesnoth-bugs
