Skip to content

Fix mistaken identity in documentation comment#1

Merged
bors[bot] merged 1 commit intorust-num:masterfrom jaystrictor:masterDec 19, 2017

Commits

Commits on Dec 19, 2017