Revision 7dae839cc2bd6626d2c0e7f47003282c9b25ef5a

Committed on 04/06/2018 10:12 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

protect template operator fetch