On Sat, Nov 4, 2017 at 8:05 PM, Fabien COELHO <coe...@cri.ensmp.fr> wrote: >>> Here is a v13, which is just a rebase after the documentation >>> xml-ization. > > Here is a v14, after yet another rebase, and some comments added to answer > your new comments.
The last patch sent still applies, but its status of "ready for committer" does not look adapted as this version got no reviews. So I am switching back the patch as "needs review". Feel free to change if that's not adapted, The patch is moved as well to next CF. -- Michael