From b02628b8a20ad0c42a097207b3b49ae5169d04d7 Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Sat, 5 Sep 2020 18:40:44 +0200 Subject: [PATCH] patch 8.2.1605: default maintainer on github is wrong Problem: Defyyyyyyyyyyyyyyyyyyyyyyyub is wrong. Solution: Use Bram's account. --- .github/CODEOWNERS | 2 +- src/version.c | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index ff85bd503..4385f9357 100644 --- 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 6b71a1464..69aececd0 100644 --- 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, /**/ -- 2.50.1