On Tue, Nov 14, 2017 at 6:02 PM, Pavel Lyalyakin <[email protected]> wrote: > Hello Daniel, > > On Tue, Nov 14, 2017 at 4:41 PM, Daniel Shahaf <[email protected]> > wrote: >> Daniel Shahaf wrote on Fri, 03 Nov 2017 20:13 +0000: >>> Pavel Lyalyakin wrote on Fri, 03 Nov 2017 17:56 +0300: >>> > Fixed in r1814193. >>> > >>> > Changed to "—" as we use it on other pages. >>> >>> Thanks, Pavel. Looks good to me (with the followup in r1814194). >> >> To be clear, that was meant as a "+1 to merge r1814018, r1814193, >> r1814194 to publish/". >> >> You made some other commits to quick-start that haven't been merged to >> publish/ yet, haven't you? What are they waiting for? > > You are right. There is a +1 from you and it has been much longer than 72 > hours > so it seems that there is a lazy consensus. :) > > I've promoted the changes made to /staging/quickstart.html in r1815233.
Well done, Pavel :-). And sorry I didn't give you any more feedback on your changes on staging (I had intended to take a look and +1 them as well, but had to disengage a little bit for some weeks ... it's been too busy lately). Anyway, keep up the good work, and don't hesitate to merge to the live site if noone here responds after 72 hours. -- Johan
