chiark / gitweb /
Bug fix: handle a disable during a close-induced flush without dumping