[doc] 0.13.1: Minor clarification to release notes #8942

1. 
   MarcoFalke commented at 5:26 PM on October 17, 2016: member

   This improves the wording for one of my commit messages. Also, fix the category of another one...

2. [doc] 0.13.1: Minor clarification to release notes fa161e8cc1
3. MarcoFalke added the label Docs and Output on Oct 17, 2016
4. MarcoFalke added this to the milestone 0.13.1 on Oct 17, 2016
5. laanwj merged this on Oct 17, 2016
6. laanwj closed this on Oct 17, 2016

   ---

7. laanwj referenced this in commit 498e950daa on Oct 17, 2016
8. MarcoFalke deleted the branch on Oct 17, 2016
9. DrahtBot locked this on Sep 8, 2021

Milestone
0.13.1