diff --git a/distrib/idea/IDEAPlugin-3.11.0.zip b/distrib/idea/IDEAPlugin-3.12.0.zip similarity index 93% rename from distrib/idea/IDEAPlugin-3.11.0.zip rename to distrib/idea/IDEAPlugin-3.12.0.zip index f29c7fa8..cf0baffd 100644 Binary files a/distrib/idea/IDEAPlugin-3.11.0.zip and b/distrib/idea/IDEAPlugin-3.12.0.zip differ