diff options
author | Lars Jellema <lars.jellema@gmail.com> | 2019-04-03 15:30:42 +0200 |
---|---|---|
committer | Lars Jellema <lars.jellema@gmail.com> | 2019-04-03 19:50:00 +0200 |
commit | 8cc7b1cce35e4ccdbe03068d5fb9180487d44fd3 (patch) | |
tree | 694ed4f8a963a0d81c983136d2cf2dfd3245b62c /maintainers/maintainer-list.nix | |
parent | 07b42ccf2de451342982b550657636d891c4ba35 (diff) |
latexrun: init at unstable-2015-11-18
Diffstat (limited to 'maintainers/maintainer-list.nix')
-rw-r--r-- | maintainers/maintainer-list.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 93fe9f10e6c85..709c4dfeb9133 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -2758,6 +2758,11 @@ github = "lucas8"; name = "Luc Chabassier"; }; + lucus16 = { + email = "lars.jellema@gmail.com"; + github = "Lucus16"; + name = "Lars Jellema"; + }; ludo = { email = "ludo@gnu.org"; github = "civodul"; |