On Sat, 2018-09-22 at 23:11 +0200, Christof Ressi wrote:
OTOH, I kind of agree with the others that I never thought it was a problem that you can open the same patch several times...
Me neither. I do think it should be allowed one way or the other. Having to use a flag for it (probably the least annoying option) is still slightly annoying.
Roman