Re: [Texmacs-dev] Applied patches for TeXmacs-1.0.1.14

[Joris van der Hoeven]

> I'd also like if you sometimes do the status changes as you go.

My messages on texmacs-dev are a substitute for this.

> Except closing them after a merge, which requires an independent pair
> of eyeballs.

The intent is indeed that I never close patches: the application of
each patch should be verified by someone else than me.

> > Nix (how do you want us to call you?): it might be good that
> > you help David with the closure of applied patches from your making.
>
> Yes, please.

In fact, this applies to anyone else: after making a patch it is
good to follow the discussion on "applied patches" on texmacs-dev and
close the patch as soon as it was correctly applied.