doc: Small release notes fixups in the list of pulls #9846

1. 
   MarcoFalke commented at 12:38 AM on February 24, 2017: member

   • Remove a pull which I merged, but was later reverted
   • Remove a pull that was already merged for 0.13
   • Remove myself as author from one pull
2. doc: Small release notes fixups in the list of pulls fa230fde64
3. MarcoFalke added the label Docs and Output on Feb 24, 2017
4. MarcoFalke added this to the milestone 0.14.0 on Feb 24, 2017
5. 
   sipa commented at 3:29 AM on February 24, 2017: member

   utACK

6. 
   fanquake commented at 3:42 AM on February 24, 2017: member

   utACK fa230fd

7. 
   paveljanik commented at 9:24 AM on February 24, 2017: contributor

   utACK fa230fd

8. 
   laanwj commented at 10:02 AM on February 24, 2017: member

   Remove a pull that was already merged for 0.13

   Ah yes looks like the Github-Pull: metadata was missing on the backport there, good catch.

9. laanwj merged this on Feb 24, 2017
10. laanwj closed this on Feb 24, 2017

    ---

11. laanwj referenced this in commit 3584902eae on Feb 24, 2017
12. MarcoFalke deleted the branch on Feb 25, 2017
13. DrahtBot locked this on Sep 8, 2021

Milestone
0.14.0