Revision 7e8db3c89df9622af3d425657bd794b0a84bc97e

Committed on 07/02/2018 7:32 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

fix compare overview with custom remote