From 29d6cf36dd752536e5a7c8e965226107df4b4fb2 Mon Sep 17 00:00:00 2001
From: Lukas Eder <lukas.eder@gmail.com>
Date: Thu, 7 May 2020 14:37:20 +0200
Subject: [PATCH] [jOOQ/jOOQ#6256] Downgrade to Kotlin 1.3.71

1.3.72 doesn't seem to be deployed correctly to Maven Central
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 2174e44057..5e69ab45c0 100644
--- a/pom.xml
+++ b/pom.xml
@@ -37,7 +37,7 @@
         <javax.activation.version>1.2.0</javax.activation.version>
 
         <!-- Kotlin versions -->
-        <kotlin.version>1.3.72</kotlin.version>
+        <kotlin.version>1.3.71</kotlin.version>
 
         <!-- DefaultRecordMapper and jOOQ-meta-extensions can read JPA annotations -->
         <javax.persistence-api.version>2.2</javax.persistence-api.version>