Revision 96154fee3d811e6851d8996d7088c3ea189772aa

Committed on 12/04/2016 9:46 am by Gaetano Giunta <[email protected]> [GitHub Diff]

Set up the automatically created users with arandom pwd instead of a known one