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). Cheers, Daniel
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). Cheers, Daniel