Revision 7dae839cc2bd6626d2c0e7f47003282c9b25ef5a

Committed on 04/06/2018 10:12 am by Luca Realdi <[email protected]> [GitHub Diff]

protect template operator fetch