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. >> Cheers, >> >> Daniel -- With best regards, Pavel Lyalyakin
