From d452eeaa7e556e6432889f4d5981f12a14173d80 Mon Sep 17 00:00:00 2001
From: Guillaume Le Floch <glfloch@gmail.com>
Date: Thu, 23 Sep 2021 14:47:12 +0200
Subject: [PATCH] Add maven-publish plugin to fix gradle plugin names

---
 devtools/gradle/build.gradle | 1 +
 1 file changed, 1 insertion(+)

diff --git a/devtools/gradle/build.gradle b/devtools/gradle/build.gradle
index 6b96519c4bcea..6dbdd1a7da4aa 100644
--- a/devtools/gradle/build.gradle
+++ b/devtools/gradle/build.gradle
@@ -5,6 +5,7 @@ plugins {
 subprojects {
     apply plugin: 'java-gradle-plugin'
     apply plugin: 'com.gradle.plugin-publish'
+    apply plugin: 'maven-publish'
 
     if (JavaVersion.current().isJava9Compatible()) {
         compileJava.options.compilerArgs.addAll(['--release', '11'])