|  | a306d51436 | dev-db/mysql-workbench: MariaDB is NOT a drop-in replacement | 2020-04-29 15:04:04 +02:00 |  | 
			
				
					|  | 939f42f0bc | dev-db/mysql-workbench: bump to 8.0.12 | 2018-09-17 00:50:49 +08:00 |  | 
			
				
					|  | 0b3f0681d3 | dev-db/mysql-workbench: fix python detection Github-Issue: https://github.com/hasufell/hasufell-repository/pull/2 | 2018-02-05 15:04:09 +01:00 |  | 
			
				
					|  | 87db65d573 | dev-db/mysql-workbench: bump to 6.3.10 | 2018-02-01 23:50:22 +01:00 |  | 
			
				
					|  | c960d508de | dev-db/mysql-workbench: fix build | 2017-03-17 10:32:08 +01:00 |  | 
			
				
					|  | 2a65f6b04e | dev-db/mysql-workbench: initial import | 2017-03-17 00:21:31 +01:00 |  |