On Fri, Nov 2, 2018 at 5:24 PM Per Bothner <xxxxxx@bothner.com> wrote:

Huh? We're talking about different documents, for different SRFIs. What is there to merge?

Oops, forgive me. I was confused. I thought it was the same document, so I did a diff. When I saw that there were differences, I checked and saw that there was no Status section, etc.

You asked for magic and I gave you confusion. Sorry about that.

I'll work on it soon.