From c3ba6ce5880a193216eaeb4684701f055369084b Mon Sep 17 00:00:00 2001 From: John Spray Date: Thu, 13 Jul 2017 12:53:07 -0400 Subject: [PATCH] common: update options.cc for master Signed-off-by: John Spray --- src/common/options.cc | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/common/options.cc b/src/common/options.cc index 838f26a5195c1..3fb33ce8f8e06 100644 --- a/src/common/options.cc +++ b/src/common/options.cc @@ -2345,6 +2345,10 @@ const std::vector