[W32TIME] The interval is specified in seconds, but we need milliseconds
[reactos.git] / PULL_REQUEST_MANAGEMENT.md
2018-06-24 David QuintanaAdd a document on the rules we should follow while... 585/head