intellij-idea-community (2024.1.3-1+mantic1) mantic; urgency=medium * Upstream version 2024.1.3. -- Marcel Kapfer <email address hidden> Tue, 11 Jun 2024 13:03:37 +0000