Revision ac3c51bff89e998cf47accc4d51c94b491f1a246

Committed on 20/05/2019 1:22 am by Luca Realdi <[email protected]> [GitHub Diff]

fix head meta defaults