patch 8.2.1605: default maintainer on github is wrong

Problem:    Defyyyyyyyyyyyyyyyyyyyyyyyub is wrong.
Solution:   Use Bram's account.

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index ff85bd5035474df7c525e247581c1c6de2ddd0ba..4385f93573a24d835246e7215f7ac357e16a0c5d 100644 (file)
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -3,7 +3,7 @@
 # You can use github users with @user or email addresses
 
 # These owners will be the default owners for everything in the repo.
-*       @defunkt
+*       @brammool
 
 # Order is important. The last matching pattern has the most precedence.
 # So if a pull request only touches javascript files, only these owners

diff --git a/src/version.c b/src/version.c
index 6b71a1464ef4e000bf594f104f70fcac809ac753..69aececd0f0204a043ba3660c1d5b1d1a4ddad5a 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -754,6 +754,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    1605,
 /**/
     1604,
 /**/