On 11/04/2019 16:20, Mark Thomas wrote: > On 11/04/2019 16:14, Rémy Maucherat wrote: >> On Thu, Apr 11, 2019 at 4:15 PM Mark Thomas <[email protected]> wrote: >> >>> Anything else? >>> >> >> Fix the gitbox <-> github sync. > > Fair point. > > I'll see what I can do.
It should be fixed now. Mark --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
