On 29/08/2023 12:26, Andy Seaborne wrote:
Which result format is this? JSON? XML?
Thanks - the fact the impact on JSON and XML results writers is suggestive that the difference is in that area.
Andy
No suggestion that our case is representative of any broader pattern. DaveAndy
