doc: Add missing contributors to release notes #11279

1. 
   MarcoFalke commented at 10:28 PM on September 7, 2017: member

   Guido Vranken via commit 9fe1f6b

2. doc: Add missing contributors to release notes

   Guido Vranken via commit 9fe1f6b

   fad16a90b2
3. MarcoFalke added the label Docs and Output on Sep 7, 2017
4. MarcoFalke added this to the milestone 0.15.0 on Sep 7, 2017
5. 
   MarcoFalke commented at 10:29 PM on September 7, 2017: member

   Also checking what travis does on the 0.15 branch...

6. 
   laanwj commented at 10:32 PM on September 7, 2017: member

   ACK

7. laanwj merged this on Sep 7, 2017
8. laanwj closed this on Sep 7, 2017

   ---

9. laanwj referenced this in commit adcc788f2a on Sep 7, 2017
10. MarcoFalke deleted the branch on Sep 7, 2017
11. DrahtBot locked this on Sep 8, 2021

Milestone
0.15.0