]> source.dussan.org Git - gitblit.git/commitdiff
Merge pull request #1435 from flaix/fix-authority-np
authorFlorian Zschocke <2362065+flaix@users.noreply.github.com>
Tue, 1 Nov 2022 00:00:55 +0000 (01:00 +0100)
committerGitHub <noreply@github.com>
Tue, 1 Nov 2022 00:00:55 +0000 (01:00 +0100)
Fix crash in Gitblit Authority for deleted users


Trivial merge