Re: [PATCH v3 00/12] get_short_oid UI improvements
From: Derrick Stolee <hidden>
Date: 2018-05-02 12:42:44
From: Derrick Stolee <hidden>
Date: 2018-05-02 12:42:44
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