Timothy <tecos...@gmail.com> writes:

>> After you send it here, you can push to bugfix and merge the bugfix
>> branch into main.
>
> I’ll do exactly this shortly.

Thanks!

-- 
 Bastien

Reply via email to