v8.2.1875
3da855c8 · patch 8.2.1875: warning when building GTK gui ·