Re: Please merge the three pull requests on GitHub



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).

-- 
Alexandre Franke
GNOME Hacker & Foundation Director


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]