PyCharm 2023.3.1 release

(cherry picked from commit 58f9b7ac4decc7be79de6bdd763b46b3fe61448d)

IJ-MR-122036

GitOrigin-RevId: 6c653dbd8457eea1ab43b50967a49dc472e00ab2

python/ide-common/resources/idea/PyCharmCoreApplicationInfo.xml

 <!-- 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"/>