mysql-workbench: upstream spec
mysql-workbench: upstream spec
php-horde-Horde-Xml-Wbxml: cleanups