cvrebert/bootlint — pull request #64 by cvrebert (2014-09-15 23:13:10+00:00)
Title: Fix #57

Fixes #57.