Dear GAP-Forum,
last week bugfix 15 was sent to you.
When applying the patch, one got a message
Hunk #1 failed at 2.
This was reported to GAP-trouble, with the question whether
this is a problem.
No, this is not a problem, since the differences affect only comment lines.
Sorry for the inconveniences.
Thomas Breuer