Hacker News new | ask | show | jobs
by darnaut 4749 days ago
The MySQL build team has a script that updates the license header in files that require it. Since the "different license" is actually the license of the documentation, from which the man pages are generated, it is possible that the script failed to update the licence text in the man pages.

Source: Ex-Oracle MySQL engineer.