v8.2.0712
0ff5dedf · patch 8.2.0712: various code not fully tested ·