Learn more about these different git repos.
Other Git URLs
72d2427
quorumdev_poll is in milliseconds, not seconds! Thanks to Simone Gotti