Supervisor/supervisor — pull request #347 by blueyed (2014-01-20 00:39:29+00:00)
Title: Add `parse_infos` to options, use it for "parsed file" message

This adds a new parse_infos besides parse_warnings, and uses it for the
'Included extra file "%s" during parsing' info.

Fixes #272