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. Mark --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
