Changes to make MySQL vs. MariaDB less confusing

[Ken Dreyer]

On Wed, Aug 21, 2013 at 10:54 AM, James Hogarth <james.hogarth at gmail.com> wrote:

> When the switch was first proposed it was Oracle who was most vocal against
> it to the point of them stating they'd take over package ownership and
> filing #958131 to update to 5.6 and change the name from community-mysql to
> mysql-community etc etc ...

I fear a similar fate is going to befall mysql-workbench before too
long, since it's been orphaned for a while. Are the Oracle employees
still around?

- Ken