3 ms·

Thanks Jonathan. Everyone: the above gives a lot of very helpful context & explanation for this (from when the patch was first posted in Dec 2015)

• caf 9y ago
  The merged patch does have some significant points of difference from the one described in 2015, though.