doc: move-only 0.17.0 release notes of individual prs #13950

1. 
   MarcoFalke commented at 11:44 AM on August 13, 2018: member

   Suggestion for reviewers:

   git diff HEAD~ --color-moved=dimmed_zebra

2. doc: move-only release notes of individual prs fad3898627
3. MarcoFalke added the label Docs on Aug 13, 2018
4. laanwj added this to the milestone 0.17.0 on Aug 13, 2018
5. 
   laanwj commented at 12:05 PM on August 13, 2018: member

   utACK fad389862725abe4351879e3333e47e9e5bf9e0c

6. 
   fanquake commented at 12:13 PM on August 13, 2018: member

   utACK fad3898

   Only changes are in pr12924 and pr12257 (removing duplicate headers).

7. ken2812221 referenced this in commit 4da19de36f on Aug 13, 2018
8. laanwj merged this on Aug 13, 2018
9. laanwj closed this on Aug 13, 2018

   ---

10. MarcoFalke deleted the branch on Aug 13, 2018
11. MarcoFalke locked this on Sep 8, 2021

Milestone
0.17.0