From 3a2a485d12b24357c26b51199c8c7f20284d3139 Mon Sep 17 00:00:00 2001
From: Denis Mashutin <denis.mashutin@jetbrains.com>
Date: Mon, 11 Dec 2023 19:17:57 +0100
Subject: [PATCH] PyCharm 2023.3.1 release

(cherry picked from commit 58f9b7ac4decc7be79de6bdd763b46b3fe61448d)

IJ-MR-122036

GitOrigin-RevId: 6c653dbd8457eea1ab43b50967a49dc472e00ab2
---
 python/ide-common/resources/idea/PyCharmCoreApplicationInfo.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/python/ide-common/resources/idea/PyCharmCoreApplicationInfo.xml b/python/ide-common/resources/idea/PyCharmCoreApplicationInfo.xml
index e10239f180d33..fe67c7fa5c5f1 100644
--- a/python/ide-common/resources/idea/PyCharmCoreApplicationInfo.xml
+++ b/python/ide-common/resources/idea/PyCharmCoreApplicationInfo.xml
@@ -1,6 +1,6 @@
 <!-- Copyright 2000-2019 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file. -->
 <component xmlns="http://jetbrains.org/intellij/schema/application-info">
-  <version major="2023" minor="3" eap="false"/>
+  <version major="2023" minor="3.1" eap="false"/>
   <company name="JetBrains s.r.o." url="https://www.jetbrains.com" copyrightStart="2010"/>
   <build number="PC-__BUILD__" date="__BUILD_DATE__" majorReleaseDate="20231206"/>
   <logo url="/pycharm_core_logo.png"/>