Docs: indexing of retry final-cutoff
authorJeremy Harris <jgh146exb@wizmail.org>
Sun, 18 Nov 2018 16:45:44 +0000 (16:45 +0000)
committerJeremy Harris <jgh146exb@wizmail.org>
Tue, 20 Nov 2018 21:52:34 +0000 (21:52 +0000)
commit93afd6be7efaf2acae325968b38484b0f4dc40a0
tree751efdb14ddc4c60021e04a3a4d15ca134e9d823
parent8c513105fde2b8be3397216a0153f9b266fc7dfb
Docs: indexing of retry final-cutoff
doc/doc-docbook/spec.xfpt