v8.2.1713
7795bfea · patch 8.2.1713: Motif GUI: crash when setting menu colors ·