On Fri, Jul 26, 2019 at 10:18:48AM +1200, Thomas Munro wrote: > Pushed, thanks.
Thanks for fixing! I'll update this thread if there are still some problems. -- Michael
signature.asc
Description: PGP signature
On Fri, Jul 26, 2019 at 10:18:48AM +1200, Thomas Munro wrote: > Pushed, thanks.
Thanks for fixing! I'll update this thread if there are still some problems. -- Michael
signature.asc
Description: PGP signature