tree 30bb3a386905191b513977974d0dc1246848040b
parent 6f62f0052b7250be58057b568948abcaee7e355f
author GianMaria Romanato <gm.romanato@gmail.com> 1494925468 +0200
committer GianMaria Romanato <gm.romanato@gmail.com> 1494925468 +0200

510327: Virgo server reports os.name=win32 on Windows 10 

Temporarily revert Virgo Server P2 repository change as it prevents
installation on Neon due to uses-conflict on slf4j.