cvrebert/bootlint — pull request #66 by cvrebert (2014-09-23 20:11:21+00:00)
Title: fix #58

Fixes #58.