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