From 7e63ac28b2555c676d6b97e96123492341cba356 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Villemot?= Date: Thu, 30 Jan 2020 15:44:49 +0100 Subject: [PATCH] =?UTF-8?q?Preprocessor:=20fix=20=E2=80=9Cplanner=5Fdiscou?= =?UTF-8?q?nt=E2=80=9D=20option=20of=20=E2=80=9Cdiscretionary=5Fpolicy?= =?UTF-8?q?=E2=80=9D?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Closes: #1699 --- preprocessor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/preprocessor b/preprocessor index 148aa9d92..ee972d963 160000 --- a/preprocessor +++ b/preprocessor @@ -1 +1 @@ -Subproject commit 148aa9d9249577e72213e8856d7d5e97fcf75db3 +Subproject commit ee972d96388d0d8482d92bafc81daef49e3036d5