I pushed to showzoom again and I hopefully have restored the branch but I do not see it here since it's already closed.
How can I re-open this PR? Github only let's me create a new PR from ```LarsGit223:showzoom```. Would that re-open this one? -- 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/1697#issuecomment-541833077