v8.1.2101
ac02a638 · patch 8.1.2101: write_session_file() often defined but not used ·