Regenerate PDF.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
8 years ago · 11e373a33b
2 changed files with 1 additions and 1 deletions
--- a/protocol/protocol.pdf
+++ b/protocol/protocol.pdf
--- a/protocol/protocol.ver
+++ b/protocol/protocol.ver
@ -1 +1 @@
-\renewcommand{\docversion}{Version 2016.0-beta-1.7}
+\renewcommand{\docversion}{Version 2016.0-beta-1.8}