Merge #8965: Mention that PPA doesn't support Debian
b55d823 Explicitly state that PPA is for Ubuntu only (anduck)
Description
Description
Details
Details
- Provenance
MarcoFalke <falke.marco@gmail.com> Authored on Oct 18 2016, 20:11 schancel Pushed on Jan 5 2018, 21:58 schancel Pushed on Jan 5 2018, 21:39 schancel Pushed on Jan 5 2018, 21:17 - Parents
- rSTAGINGb55d823369b1: Explicitly state that PPA is for Ubuntu only
rSTAGING74dc388ab599: Merge #8873: Add microbenchmarks to profile more code paths. - Branches
- Unknown
- Tags
Merged Changes
Merged Changes