Apply Pedantic recommendations#16
Merged
jumperchen merged 20 commits intorikulo:masterfrom Dec 27, 2019
Merged
Commits
Commits on Dec 22, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
