Revision 5126921ef9d54d7234949c365d7b40ab9bf67ac2

Committed on 22/06/2015 8:59 am by Luca Realdi <[email protected]> [GitHub Diff]

bug fix bracket_to_strong operator