releaser: Update /docs [ci skip]
authorBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Wed, 21 Jun 2017 11:52:27 +0000 (13:52 +0200)
committerBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Wed, 21 Jun 2017 11:52:27 +0000 (13:52 +0200)
docs

diff --git a/docs b/docs
index 8c9359bab4cf9b155235ef6b67932b7e6bfcdb31..c1ab9894e8292e0a74c43bbca2263b1fb3840f9e 160000 (submodule)
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 8c9359bab4cf9b155235ef6b67932b7e6bfcdb31
+Subproject commit c1ab9894e8292e0a74c43bbca2263b1fb3840f9e