diff options
author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2023-06-29 08:57:36 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-06-29 08:57:36 +0200 |
commit | db0b79082867de35bacceff8e8b129d0634c7048 (patch) | |
tree | 98e8812f5cc0e6a0722f677da9a5751704283821 /maintainers | |
parent | 32c86661b76371973d825eedd19a159458686ace (diff) | |
parent | 3833306fc4c166e54062c99796b6bc309a0defef (diff) |
Merge pull request #227229 from Julow/ocamlformat_0_25_1
Ocamlformat 0 25 1
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 97e7c4ffed622..8f250dfe4cf0e 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -8196,6 +8196,13 @@ githubId = 21160136; name = "Julien Moutinho"; }; + Julow = { + email = "jules@j3s.fr"; + matrix = "@juloo:matrix.org"; + github = "Julow"; + githubId = 2310568; + name = "Jules Aguillon"; + }; jumper149 = { email = "felixspringer149@gmail.com"; github = "jumper149"; |