From 887727005273c3f5128d0230cc3b9f50f8cd43f6 Mon Sep 17 00:00:00 2001 From: Josh Durgin Date: Fri, 31 Jul 2020 18:23:12 -0400 Subject: [PATCH] common/options: make pg log options dev-level Changing these has performance and correctness implications, and is rarely needed. Signed-off-by: Josh Durgin --- src/common/options.cc | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/src/common/options.cc b/src/common/options.cc index 894fef7f6b0..1a490dea5bd 100644 --- a/src/common/options.cc +++ b/src/common/options.cc @@ -3337,34 +3337,34 @@ std::vector