There are several files under the GPL with BISON expection license.
However none of them are 'GPL-2.0-or-later' today,
all of them are 'GPL-3.0-or-later' now,
and none of them have '... version 1.24 of Bison',
and all of them have '... version 2.2 of Bison'.
Search done by using:
grep -i -e "of bison" -r .
for quick file listing,
and by:
grep --before=20 --after=20 -i -e "bison" -r . | grep --after=2 --before=20 -i exception
to list the whole license blocks (with the GPL part),
but it contains few false positive results
(matched code instead of license block)
GitHub uses a library called Licensee to identify a project's license
type. It shows this information in the status bar and via the API if it
can unambiguously identify the license.
This commit modifies a few of MariaDB's docs so that Licensee is able
to recognize the repository's license type. It renames the README's
"License" section to "Licensing" and renames COPYING.thirdparty to
THIRDPARTY.
These changes allow Licensee to bypass both files when it
scans the repo for license files, which thus allows Licensee to
successfully identify the license type of MariaDB as GPL 2.0.
Signed-off-by: Andrea Kao <eirinikos@gmail.com>
