mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-08 16:16:17 +00:00
b6847141f2
[ci skip] This is necessary since addon_info::display_name escapes markup (see 88ebb72b98e). Without this, certain characters like "'" don't display properly. It might be worth revisiting this at some point and only escape formatting in specific cases where it's used with markup-enabled widgets, but this is a quick solution.