:ADDPATCH wwwdocs: Since the patch was backported to 4.2, we should also have it in the 4.2 changelog. Tobias 2006-12-11 Tobias Burnus <burnus@net-b.de> * gcc-4.2/changes.html: Document record-marker change.