v8.2.4695
beb0ef1a · patch 8.2.4695: JSON encoding could be faster ·