bndtools/bnd — pull request #545 by pkriens (2014-07-16 17:50:52+00:00)
Title: Diverse changes

None of this ends up in the repo