summaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-08-27 23:59:48 +0200
committerLudovic Courtès <ludo@gnu.org>2019-08-28 00:27:14 +0200
commit58d5f280a36e1cfddfa999d320c285726d8a8bc1 (patch)
tree811b3c55d28a5c60e51c6ecb0917d22533e73823 /gnu/packages/agda.scm
parentdd4e46edda6c255ca170a6650c6f92b16ff50a3f (diff)
downloadguix-patches-58d5f280a36e1cfddfa999d320c285726d8a8bc1.tar
guix-patches-58d5f280a36e1cfddfa999d320c285726d8a8bc1.tar.gz
lint: Correct use of 'with-networking-fail-safe'.
Fixes <https://bugs.gnu.org/37160>. Reported by Jonathan Brielmaier <jonathan.brielmaier@web.de>. * guix/lint.scm (check-for-updates): Make sure the first argument to 'with-networking-fail-safe' is the whole error message.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions