Regenerate PDF.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
7 years ago · 739abb13f4
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.12}
+\renewcommand{\docversion}{Version 2016.0-beta-1.13}