From c4ed8e7dcec9bc38787922abd527ea8caae9b9f1 Mon Sep 17 00:00:00 2001
From: lukaseder <lukas.eder@gmail.com>
Date: Thu, 5 Dec 2019 15:27:45 +0100
Subject: [PATCH] [jOOQ/jOOQ#9425] Diff renaming of indexes

---
 jOOQ/src/main/java/org/jooq/impl/Diff.java | 41 ++++++++++++++++++++++
 1 file changed, 41 insertions(+)

diff --git a/jOOQ/src/main/java/org/jooq/impl/Diff.java b/jOOQ/src/main/java/org/jooq/impl/Diff.java
index f43a57e131..fb4199262a 100644
--- a/jOOQ/src/main/java/org/jooq/impl/Diff.java
+++ b/jOOQ/src/main/java/org/jooq/impl/Diff.java
@@ -627,6 +627,47 @@ package org.jooq.impl;
 
 
 
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+