Oracle accidentally changed the licence of MySQL manual pages from the previous GPLv2 licence to a non-free licence. The change was revealed by Colin Charles, MariaDB evangelist, in a post on the MariaDB Foundation’s blog. But as the news spread, a bug report in Oracle’s issue tracker revealed that what had been found was actually a problem in the build system.