Revision 64cc042df918653e22458ee8efecff94283d1eec

Committed on 31/01/2017 1:02 am by Edi Modrić <edi@netgen.hr> [GitHub Diff]

Fix namespace collision in user providers