{"shas":[["dc7a845c43816f86f8eebb391b1716e3eda9d513","b54ae7893982d10f03c27dbc889098ce04898c8b@senotrusov.com","Note on random number generators reseed","Stanislav Senotrusov"]],"ref":"refs/heads/master","size":1,"head":"dc7a845c43816f86f8eebb391b1716e3eda9d513","push_id":35347695}