diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2023-07-21 01:24:34 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-21 01:24:34 +0200 |
commit | a933c610454defa9275fbdac0c9756ab99eaafb8 (patch) | |
tree | 50e2b910e3d43f83d21c36a1f81494f835beb467 /maintainers | |
parent | 5fcb10e282f18a958c27a5dc341373552b821990 (diff) | |
parent | ef2752b8068af39d6be9cc995a2e166cf182ef7d (diff) |
Merge pull request #243786 from FPtje/fp/update-ffmpeg-vivaldi
vivaldi-ffmpeg-codecs 112.0.5615.49 -> 111306
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index aaf178dfd64c8..380c810281eca 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -5620,6 +5620,12 @@ githubId = 84968; name = "Florian Paul Schmidt"; }; + fptje = { + email = "fpeijnenburg@gmail.com"; + github = "FPtje"; + githubId = 1202014; + name = "Falco Peijnenburg"; + }; fragamus = { email = "innovative.engineer@gmail.com"; github = "fragamus"; |