Revision df517167ee6b94c9f04c28738611d3a476d7675f

Committed on 24/06/2018 5:37 am by Gaetano Giunta <[email protected]> [GitHub Diff]

allow installation with more modern random_compat