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. Regards, Jeff Davis