tokio-timer-patched (cargo): Timer facilities for Tokio, patched for handling issue #36, and pushed to Crates.io so that it can be used in other open source crates. 
Keywords: azuqua-io-role-library