On Thu, Mar 11, 2021, at 12:08 PM, Jacob Gelbman wrote: > > > > On Mar 11, 2021, at 10:15 AM, Daniel Shahaf <d.s@xxxxxxxxxxxxxxxxxx <mailto:d.s%40daniel.shahaf.name>> wrote: > > > > Do you intend to send a revised patch to address this? > > Yes, here it is: ping vq