On Sat, Dec 10, 2022 at 09:39:41AM +0000, Edd Barrett wrote:
> I agree with ratchov that in this instance, precise timing isn't important.
> 

So, are we OK with this or there are still objections?

Reply via email to