src/Tools/jEdit/patches/vfs_manager
3 months ago ago formal update of patches -- no change of content;
4 months ago ago avoid crash of jEdit.closeBuffer() via TaskManager.instance.waitForIoTasks() due to race condition of save() vs. automatic load() of already open buffer, e.g. relevant for save-as on "isabelle-export:" artifacts;