diff -r d8d1b56d4519 -r 4eaf1b746499 contrib/check-code.py --- a/contrib/check-code.py Tue Mar 16 01:16:19 2010 +0100 +++ b/contrib/check-code.py Tue Mar 16 16:39:17 2010 +0100 @@ -96,10 +96,10 @@ ] pyfilters = [ + (r'''(?