Jonas Platte ef119f71e8 Apply small change suggested by clippy

2017-10-19 23:24:46 +02:00

..

hello_world.rs

Apply small change suggested by clippy

2017-10-19 23:24:46 +02:00