On Tue, May 23, 2017 at 11:40 AM, Brandon Williams <[email protected]> wrote: > It doesn't look like any patches actually use this helper, is this > intended?
It was needed for https://public-inbox.org/git/[email protected]/ which we do not have in this series any more. Will drop this patch.
