Great, thanks! BTW you can add extra commits with follow up changes, then we'll squash them when we merge the pull. Rather than force pushing with a small change. Then an existing review stands and any new reviewer knows only the new commit(s) need particular scrutiny.
-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/2337#issuecomment-538651993
