On Mon, Dec 14, 2015 at 08:16:33PM +0000, Dave Zhu (yanbzhu) wrote: > Thank you Willy and Emeric for their efforts in the design, and thanks to > everyone else for all your support and help in testing/debugging this > feature! > > I¹ve attached the DOC patch to this message. Please take a look and let me > know if you see any errors in formatting that needs fixed.
I've just removed the extra spaces at the end of lines while merging it but that was all, everything looked good. You can check tomorrow morning on the HTML doc. Thanks Dave! Willy
