On 2020-02-22 11:02:16 -0800, Jeff Davis wrote: > On Sat, 2020-02-22 at 10:00 -0800, Andres Freund wrote: > > Both patches, or just 0013? Seems the earlier one might make the > > addition of the opcodes you add less verbose? > > Just 0013, thank you. 0008 looks like it will simplify things.
Pushed 0008.
