On Thu, Sep 28, 2017 at 10:41 PM, Jeroen De Dauw <jeroendedauw(a)gmail.com> wrote:
Hey users of the Maps extension,
I'd like to get your input on making breaking changes in the Maps extension
[0].
Missing footnote:
[0]
https://www.mediawiki.org/wiki/Extension:Maps