On 8/8/19 1:28 PM, Florian Westphal wrote:
Looks good, but can you also fix up the comment at the top of this function? (Alternatively, delete those things that are not relevant anymore).
doh! Sorry should have thought of that. Yes will also make the other changes and submit v3.
