Re: [PATCH v3 0/5] rust: time: Convert hrtimer to use Instant and Delta

[FUJITA Tomonori]

On Tue, 24 Jun 2025 15:11:31 +0200
Andreas Hindborg <a.hindborg@xxxxxxxxxx> wrote:

>> and already introduces pain for
>> others (and likely even more pain when we need to rename it back next
>> cycle), it doesn't look like a good idea to keep it.
> 
> Ok, I'll drop it.

Do you want me to send the updated hrtimer conversion patchset
(using as_* names)?