v8.2.5153
1b096b0d · patch 8.2.5153: "make uninstall" does not remove colors/lists ·