Done.
On Thu, Nov 17, 2016 at 3:13 PM, Jim Apple <[email protected]> wrote: > The doc_prototype branch was used for docs work up until now. The docs > have now been pushed to the master branch, so we won't be needing that > anymore. I'm going to delete the doc_prototype branch, pending lazy > consensus (no -1s) for a few days. > > Speak now or forever hold your peace, > Jim
