diff options
author | Glenn Morris <rgm@gnu.org> | 2016-06-10 00:55:02 -0400 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2016-06-10 00:55:02 -0400 |
commit | 48079f68125e75cf581ef2b86b00c5a3851dd6e7 (patch) | |
tree | 76e55b39fec8b87caff982e9a8f17b7d19a7ff0c /admin | |
parent | 78b18cabb4f18b7afe7f80395ea76493c22ac4f3 (diff) |
; Refer to version 25.2 rather than 26.1.
; I hope the next release from master is indeed 26.1, but for reasons
; that passeth my understanding we currently call it 25.2 everywhere else,
; so we should at least be consistent.
Diffstat (limited to 'admin')
0 files changed, 0 insertions, 0 deletions