On Thu, Apr 12, 2018 at 08:49:03PM -0700, Andres Freund wrote:> OTOH, that also kinda bloats the output noticeably... I'm somewhat> inclined to just put the hex value or such there?
That would do as well for me.--Michael