v8.1.1439
c47ed44b · patch 8.1.1439: json_encode() is very slow for large results ·