Gordias 3bd2f2390d maintainers: update github handle for Gordias ... changed my github handle, this commit updates the maintainers to point to the new username (s/NotGordias/gordiasdot)		2022-01-28 21:31:58 -05:00
..
scripts
maintainer-list.nix
team-list.nix