Merge pull request #7536 from raehik/raehik-rename-maintainer

Edit raehik's maintainer name
This commit is contained in:
Jens Petersen 2024-10-20 17:33:37 +08:00 committed by GitHub
commit e7df121278
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -5137,7 +5137,7 @@ packages:
"Clemens Schmid <clemens@nevrome.de> @nevrome":
- currycarbon
"Benjamin Orchard <thefirstmuffinman@gmail.com> @raehik":
"Ben Orchard <thefirstmuffinman@gmail.com> @raehik":
- mt19937
- defun-core # https://github.com/phadej/defun/issues/4
- symparsec