On 5/1/2018 2:40 PM, Ævar Arnfjörð Bjarmason wrote:
The biggest change in v3 is the no change at all to the code, but a lengthy explanation of why I didn't go for Derrick's simpler implementation. Maybe I'm wrong about that, but I felt uneasy offloading undocumented (or if I documented it, it would only be for this one edge-case) magic on the oid_array API. Instead I'm just making this patch a bit more complex.
I think that's fair. Thanks for going along with me on the thought experiment.
-Stolee