Fix #1328: optimize JsonPointer.head()
#2372
The logs for this run have expired and are no longer available.
Loading
JsonPointer.head()
#2372