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

From: Johannes Wilm <notifications@github.com>
Date: Sun, 15 Sep 2019 19:19:21 -0700
To: w3c/editing <editing@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <w3c/editing/pull/210/review/288399487@github.com>

johanneswilm approved this pull request.





-- 
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#pullrequestreview-288399487

Received on Monday, 16 September 2019 02:19:45 UTC