Fix two small warnings#8716
Closed
andrew-d wants to merge 1 commit intorust-lang:masterfrom
andrew-d:andrew-fix-warnings
Closed
Fix two small warnings#8716andrew-d wants to merge 1 commit intorust-lang:masterfrom andrew-d:andrew-fix-warnings
andrew-d wants to merge 1 commit intorust-lang:masterfrom
andrew-d:andrew-fix-warnings
Commits
Commits on Aug 23, 2013
- committed