Package: mysql-workbench Version: 5.2.38+dfsg-3 Severity: minor
The new native MySQL Installation Type option (when adding a server instance) is called "Debian GNU+Linux". "GNU/Linux" should have a slash ("/").
Alternatively, the option could simply be labelled "Debian". -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
