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?
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?