On Thu, Jan 12, 2023 at 8:31 AM Alexander Korotkov <aekorotkov(at)gmail(dot)com>wrote:
> Pushed and backpatched to 12, where jsonpath first appeared.>>Thanks. I've created a todo to take a peek at the docs around this.
David J.