Re: [Tei-council] first draft release notes

But I thought I did... Immediately after giving the positive review, I clicked on the merge button, and was confronted with three choices as to how to do the merge. I (almost randomly) picked one. But wait! I see now that clicking on that did not cause it to merge, but rather to put up a "confirm merge" question ... OK, just confirmed it now. Sigh. Thanks again, Peter.

thanks for looking into this! But you haven’t merged it yet (this does not happen automatically after a positive review) — you have to do this explicitly. So we’ll have to wait a little bit more for the magic of famous last words to occur :)