cvrebert/bootlint — pull request #65 by cvrebert (2014-09-15 23:22:50+00:00)
Title: Fix #56

Fix #56.