Re: [w3c/editing] Change default paragraph separator from <p> to <div> (#146) from Aryeh Gregor on 2016-08-24 (public-webapps-github@w3.org from August 2016)

From: Aryeh Gregor <notifications@github.com>
Date: Wed, 24 Aug 2016 07:47:46 -0700
To: w3c/editing <editing@noreply.github.com>
Message-ID: <w3c/editing/pull/146/c242090777@github.com>

I got confused at the IPR stuff and I sort-of accidentally said "Mark as non-substantive", which made it happy, so if that's wrong, please fix or tell me what to do.

-- 
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/146#issuecomment-242090777

Received on Wednesday, 24 August 2016 14:48:17 UTC