; * admin/release-process: Remove some obsolete records.
commit0a6e6caf65237e034135dd50979fe06feb426d5b
authorGlenn Morris <rgm@gnu.org>
Sat, 2 Jan 2016 18:33:17 +0000 (2 10:33 -0800)
committerGlenn Morris <rgm@gnu.org>
Sat, 2 Jan 2016 18:33:17 +0000 (2 10:33 -0800)
tree3be490503d00e9255401e940b5bc1502e255103b
parentc2e9e3dd33810b3a0e1dff1374c1112eaed351c5
; * admin/release-process: Remove some obsolete records.
admin/release-process