34b9ea7d20
Fix CI
0ff7ebb1fd
Allow to set downloader
f83dcbc430
Run 'git describe' in CI to make sure --version reports it
56e4a6b15f
Invert curl flag to internal-downloader
ee9b2ec30d
Update docs
a306d51436
dev-db/mysql-workbench: MariaDB is NOT a drop-in replacement
2d84fe8011
dev-db/mysql-connector-c++: MariaDB is NOT a drop-in replacement
40c8a8202b
dev-db/mysql: clean up after tgurr's random tree cleaning streaks