diff options
| author | Amin Bandali <bandali@gnu.org> | 2020-01-17 11:15:47 -0500 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-01-17 18:30:33 +0100 |
| commit | a3143063aeeecb5c02f75a6e1ddc0cc295e0e4f8 (patch) | |
| tree | 1b8a6acbea8eeafb8802fd3ea984ed7bd66da92b /gnu/packages/lean.scm | |
| parent | cd4eb53c33ee60f397b2b8c47e656e5ed857c480 (diff) | |
| download | guix-patches-a3143063aeeecb5c02f75a6e1ddc0cc295e0e4f8.tar guix-patches-a3143063aeeecb5c02f75a6e1ddc0cc295e0e4f8.tar.gz | |
Update email address for Amin Bandali.
* .mailmap: Add name and email addresses for Amin Bandali.
* gnu/local.mk, gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm,
gnu/packages/fpga.scm, gnu/packages/lean.scm, gnu/packages/maths.scm:
Update email address for Amin Bandali.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
Diffstat (limited to 'gnu/packages/lean.scm')
| -rw-r--r-- | gnu/packages/lean.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/lean.scm b/gnu/packages/lean.scm index 235113d475..e71b4c93ae 100644 --- a/gnu/packages/lean.scm +++ b/gnu/packages/lean.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2019 Amin Bandali <bandali@gnu.org> +;;; Copyright © 2019 Amin Bandali <mab@gnu.org> ;;; ;;; This file is part of GNU Guix. ;;; |