* admin/notes/hydra: Small updates.
commit8c09f11a328223aec4a7c198c99b348e75b78e9b
authorGlenn Morris <rgm@gnu.org>
Thu, 20 Jul 2017 18:00:27 +0000 (20 14:00 -0400)
committerGlenn Morris <rgm@gnu.org>
Thu, 20 Jul 2017 18:00:27 +0000 (20 14:00 -0400)
tree90c81c183badab1a8a3b3c5321f6baf7e77534ea
parentee5ec64624b72fb5c18945949437c6371c76d14c
* admin/notes/hydra: Small updates.
admin/notes/hydra