manual intervention required :)
Subject: [PATCHES] Documentation update This patch updates some of the documentation that comes with the distribution. The following files are updated: COPYRIGHT README doc/README.flex doc/README.support doc/bug.template
Pointed out by Andrew Martin