; * admin/MAINTAINERS: Remove no-longer-active people
commit96973dea40b4214fe645258be81ac19102fb246e
authorGlenn Morris <rgm@gnu.org>
Wed, 7 Oct 2015 06:31:43 +0000 (6 23:31 -0700)
committerGlenn Morris <rgm@gnu.org>
Wed, 7 Oct 2015 06:31:43 +0000 (6 23:31 -0700)
tree798e423ad19a64e2a4f3da5147430f55594b1725
parent78769755b9daf907a6b4c9efee977610ca3003a5
; * admin/MAINTAINERS: Remove no-longer-active people
admin/MAINTAINERS