#217: some small fixes

This commit is contained in:
Mario Fetka
2014-05-21 15:43:50 +02:00

Submodule commit.ref updated: c42bf8f026...1332d3fecf