projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 50eeb43) | patch
dev-db/mysql-workbench: Update SRC_URI to match dev-db/mysql
authorMichał Górny <mgorny@gentoo.org>
Mon, 30 Sep 2019 07:15:37 +0000 (09:15 +0200)
committerMichał Górny <mgorny@gentoo.org>
Fri, 17 Jan 2020 08:44:13 +0000 (09:44 +0100)
commit149c2215b34e34d29909289c21fa9683893aa575
tree6d27a0d56515b57bf73d90aa3113f73ceb872da5tree | snapshot
parent50eeb433ad86b4291e8fcd1178e43f369c219df3commit | diff
dev-db/mysql-workbench: Update SRC_URI to match dev-db/mysql

Replace use of mirror://mysql with HTTPS CDN URI as used by dev-db/mysql
itself.  This removes the last use of mirror://mysql.

Signed-off-by: Michał Górny <mgorny@gentoo.org>
dev-db/mysql-workbench/mysql-workbench-8.0.16.ebuild diff | blob | history
dev-db/mysql-workbench/mysql-workbench-8.0.17.ebuild diff | blob | history
dev-db/mysql-workbench/mysql-workbench-8.0.18.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.