So, first, cool, one can close all files from one directory, I didn't know about that!

I just had a look at the patch which seems to do the right thing and also tested it a bit. I wasn't able to reproduce the crash, just the incorrect closing of directories with the original version and the patch fixes it for me. So from my point of view the patch can be merged.

—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.