Re: [w3c/editing] Adding Undo manager to agenda (#210) from Johannes Wilm on 2019-10-04 (public-webapps-github@w3.org from October 2019)

From: Johannes Wilm <notifications@github.com>
Date: Fri, 04 Oct 2019 06:06:59 -0700
To: w3c/editing <editing@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <w3c/editing/pull/210/issue_event/2687345084@github.com>

Merged #210 into gh-pages.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/editing/pull/210#event-2687345084

Received on Friday, 4 October 2019 13:07:21 UTC