From b519ed05198e86058efd5f1f2fc2798414bd0ef7 Mon Sep 17 00:00:00 2001 From: John Spray Date: Fri, 21 Jul 2017 06:30:27 -0400 Subject: [PATCH] common/options: update for latest added Signed-off-by: John Spray --- src/common/options.cc | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/src/common/options.cc b/src/common/options.cc index 0b9905df6e14..22a27e1b0266 100644 --- a/src/common/options.cc +++ b/src/common/options.cc @@ -2695,7 +2695,15 @@ const std::vector