Re: Please merge the three pull requests on GitHub

[Andrew Miloradovsky <miloradovsky gmail com>]

Thank you!

Lack a version tag is not a problem on NixOS, actually I'll try to
update the port now (again, after half a year). Hopefully the maintainer
isn't still angry at me :)

On 04/19/2017 02:43 PM, Alexandre Franke wrote:
> On Wed, Apr 19, 2017 at 3:56 PM, Alexandre Franke <afranke gnome org> wrote:
> > That being said I had a quick look at your PR (now that I have been
> > made aware of it) and it looks quite trivial. I’ll have a deeper look
> > when I get a chance.
> There, merged and pushed to master. No release planned in the
> foreseeable future so it may take a while to reach distributions, but
> at least it’s upstreamed now. I took the liberty to edit the commit
> message to remove the final period from the subject line (see
> https://chris.beams.io/posts/git-commit/#end).