Index: 3rdParty_sources/tacitknowledge/autopatch/src/main/java/com/tacitknowledge/util/migration/jdbc/DatabaseType.java =================================================================== diff -u -r60fd31cb3d049512a0549ad11dbbe4ba81cae54e -r5dd176f28f864f168b3825c237c74c5bc45de145 --- 3rdParty_sources/tacitknowledge/autopatch/src/main/java/com/tacitknowledge/util/migration/jdbc/DatabaseType.java (.../DatabaseType.java) (revision 60fd31cb3d049512a0549ad11dbbe4ba81cae54e) +++ 3rdParty_sources/tacitknowledge/autopatch/src/main/java/com/tacitknowledge/util/migration/jdbc/DatabaseType.java (.../DatabaseType.java) (revision 5dd176f28f864f168b3825c237c74c5bc45de145) @@ -29,6 +29,7 @@ * required keys are: *