Revision 75c01a3c5d994bf289dbb04d9b4884f0aaba50b3

Committed on 17/10/2018 6:16 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

fix rovereto cache key