[0.18] doc: Remove ppa from linux build instructions #15524

1. 
   MarcoFalke commented at 2:07 pm on March 4, 2019: member

   Same commit hash as #15518
2. doc: Remove ppa from linux build instructions fa3148aacb
3. MarcoFalke added the label Docs on Mar 4, 2019
4. MarcoFalke added the label Backport on Mar 4, 2019
5. fanquake added this to the milestone 0.18.0 on Mar 4, 2019
6. 
   laanwj commented at 2:27 pm on March 4, 2019: member

   Not sure it makes sense to do separate backport PR for trivial documentation updates like this, but okay (I guess you want to sneak this in before rc1), utACK fa3148aacbea0e1a0ba8016b66b8d6b876c267b2
7. laanwj merged this on Mar 4, 2019
8. laanwj closed this on Mar 4, 2019

   ---

9. laanwj referenced this in commit 7630301c16 on Mar 4, 2019
10. MarcoFalke deleted the branch on Mar 4, 2019
11. DrahtBot locked this on Dec 16, 2021

Contributors
MarcoFalke laanwj

Labels
Docs Backport

Milestone
0.18.0