v9.0.1641
55f1b822 · patch 9.0.1641: the log file does not give information about window sizes ·