> On 05 Apr 2018, at 23:16, Peter Eisentraut <peter.eisentr...@2ndquadrant.com> > wrote: > > The documentation change suggests the error will be > > ERROR: canceling statement due to user request: "Cancellation message text" > > Why the quotes?
It seemed like a good idea at the time to indicate which part was submitted by the user, but looking at it now the colon sign is a pretty clear indicator already. cheers ./daniel