v8.2.0857
5cd1cb9f · patch 8.2.0857: GTK cell height can be a pixel too much ·