i see: this is done

diff --git a/doc/todo/custom_location_for_openlayers.mdwn b/doc/todo/custom_location_for_openlayers.mdwn
index d5054e4087a984cda18787b757fd7b1399f35046..3ccfa294487d4e24c86aa911b815ec7b60ef72a9 100644 (file)
--- a/doc/todo/custom_location_for_openlayers.mdwn
+++ b/doc/todo/custom_location_for_openlayers.mdwn
@@ -13,3 +13,5 @@ Note that there's an update to the patch in my master branch, that allows changi
 
 > There's a lot of stuff in your master branch. Which commit is it,
 > or if you want me to merge it, spin a branch I can merge. --[[Joey]]
+
+> > I believe this was already fixed, actually - it's commit 409c4e48f983d10aceb6321148d7f440d17eb28f, which you cherry-picked on August 5th in d926c4a. So this is [[done]], thanks! -- [[anarcat]]