Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
22.214.171.124: Downgrade WARNING to STYLE-WARNING for *possible* type errors
* Detect some cases that might not lead to type errors, and signal
a STYLE-WARNING instead of a WARNING then.