diff options
| author | Michael Rohleder <mike@rohleder.de> | 2020-03-10 00:54:02 +0100 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2020-03-10 10:54:48 +0200 |
| commit | ba726ebc2d1e7df42edc061d168488791b15a497 (patch) | |
| tree | 0f8e4d4729fe0390177fbc1d4bff006c52028231 /gnu/packages/agda.scm | |
| parent | 43d4eb8fc4a6074a872c80bd0b2263b98472f01a (diff) | |
| download | guix-ba726ebc2d1e7df42edc061d168488791b15a497.tar.gz | |
gnu: mumble: Disable statistic gathering by default.
Fixes <https://bugs.gnu.org/25201> * gnu/packages/telephone.scm (mumble)[arguments]: Add phase to disable statistic gathering by default. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions