[Geany-Devel] Two unmerged PRs on github

Erik de Castro Lopo mle+tools at xxxxx
Thu Jun 23 09:05:11 UTC 2016


Hi all,

I submitted two PRs on github:

    https://github.com/geany/geany/pull/1071
    https://github.com/geany/geany/pull/1074

They seem to have both been approved in principle but remain un-merged
after a week.

Is this normal for relatively trivial PRs like this? What needs to happen
to get these merged?

Erik
-- 
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/


More information about the Devel mailing list