On Wed, Aug 2, 2017 at 12:11 PM, Lubomir I. Ivanov <neolit123 at gmail.com> wrote:
>
> my pull request with the small cleanup changes to the google maps
> plugin was merged upstream.
Good sign with the quick reaction, and this way they are aware of us
thanks to your pull request description too.
Linus