Re: [Tei-council] first draft release notes

Thank you!

Am 24.01.2019 um 20:15 schrieb Syd Bauman :

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 :)

---

Tei-council mailing list Tei-council@lists.tei-c.org http://lists.lists.tei-c.org/mailman/listinfo/tei-council