From 6575ddab2654e7f12cd02e18748afe34ca728f27 Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Thu, 21 Feb 2019 00:25:14 +0200
Subject: [PATCH] Improve docs for `pio ci` command when multiple
 `--project-option` are used

---
 docs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs b/docs
index a9691e11..944b8f3f 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit a9691e11c5b379bc0fdc2c67a57f4b236307e235
+Subproject commit 944b8f3f6dfb80e81263b340e947b9b6a42a149c