Should I rebase this PR on top of master and squash some of the commits?
— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you are subscribed to this thread.Message ID: <geany/geany/pull/3049/c1750772060@github.com>