InfoBoxes/Task: InfoBox "WP Dist": replace title by WP name if available
commit32c9989ed8d42a81e7806efb6aca29e4a2e49e57
authorTobias Lohner <tobias@lohner-net.de>
Fri, 17 Feb 2012 21:18:56 +0000 (17 22:18 +0100)
committerMax Kellermann <max@duempel.org>
Sat, 18 Feb 2012 11:06:25 +0000 (18 12:06 +0100)
treed5c352d734ea4bd5a7ff6d3fb139badd7cf79f92
parentc9c5fff2b8174362877e68b66615885cb3af40c6
InfoBoxes/Task: InfoBox "WP Dist": replace title by WP name if available

This fixes ticket #1567.
src/InfoBoxes/Content/Task.cpp