[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Merging feature/android

From: Po Lu
Subject: Re: Merging feature/android
Date: Wed, 15 Mar 2023 09:30:07 +0800
User-agent: Gnus/5.13 (Gnus v5.13)

Corwin Brust <corwin@bru.st> writes:

> Did you forget to push?

Yes.  I've done that now.

Thanks for testing.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]