From 67b441b1206ac1c387f0dac5d4fa43e30d0430cf Mon Sep 17 00:00:00 2001
From: Marco Stornelli <marco.stornelli@gmail.com>
Date: Mon, 23 Mar 2020 15:40:58 +0100
Subject: [PATCH] [releng] - Fix api version for code formatter options

Change-Id: I9e8fe2541355c0f066de0f11c31129298ec3f6e5
---
 .../cdt/core/formatter/DefaultCodeFormatterOptions.java       | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/formatter/DefaultCodeFormatterOptions.java b/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/formatter/DefaultCodeFormatterOptions.java
index 6d8782c285c..bf4e050e211 100644
--- a/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/formatter/DefaultCodeFormatterOptions.java
+++ b/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/formatter/DefaultCodeFormatterOptions.java
@@ -225,11 +225,11 @@ public class DefaultCodeFormatterOptions {
 	 */
 	public boolean insert_space_before_lambda_return;
 	/**
-	 * @since 6.11
+	 * @since 6.12
 	 */
 	public boolean insert_space_after_deduction_guide_arrow;
 	/**
-	 * @since 6.11
+	 * @since 6.12
 	 */
 	public boolean insert_space_before_deduction_guide_arrow;
 	public boolean insert_space_before_assignment_operator;