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/
_______________________________________________
Devel mailing list
Devel@lists.geany.org
https://lists.geany.org/cgi-bin/mailman/listinfo/devel
