December 17, 2018 – December 24, 2018
Overview
1 Pull request merged by 1 person
-
Merged
#9
Fix a small (maybe significant) error in the RO mapping
Dec 22, 2018
1 Issue closed by 1 person
-
Closed
#6
Move the code to 2018 edition of Rust
Dec 22, 2018