MySQL Workbench 8.0.13 has been released
https://mysqlworkbench.org/2018/10/mysql-workbench-8-0-13-has-been-released/
https://mysqlworkbench.org/2018/10/mysql-workbench-8-0-13-has-been-released/