pjfanning opened a new pull request, #1757: URL: https://github.com/apache/pekko/pull/1757
* relates to #1749 * experimental new RandomNumberGenerator API that allows us to plug in different RandomGenerators based on the config (to be done) * so far, I'm just plugging in the API to catch compile issues * later, I will add the new configs and RandomNumberGenerator.get() will react to the config * for performance reasons, the init of RandomNumberGenerator.get() will happen once so the config will be read just once -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: notifications-unsubscr...@pekko.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: notifications-unsubscr...@pekko.apache.org For additional commands, e-mail: notifications-h...@pekko.apache.org
