Skip to content

Pin dependencies to fix build with current toolchain#81

Merged
jackpot51 merged 2 commits intomasterfrom
pin-deps
May 20, 2020
Merged

Pin dependencies to fix build with current toolchain#81
jackpot51 merged 2 commits intomasterfrom
pin-deps

Commits

Commits on May 20, 2020