Thanks for the additional details. I am merging it.

For the future -- the README should no longer be regenerated even when changing in xml file, the reason is that various systems format the text file differently and it can result in a large diff (hard to backport if it is the case, etc.). Here is ok, just to have in mind.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.