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? > Cheers, > > Daniel
