forgot to also move the comment
forgot to also move the comment

rust-lang/rust-playpen,plietar/pony-playpen,rust-lang/rust-playpen,plietar/pony-playpen,rust-lang/rust-playpen,plietar/pony-playpen,plietar/pony-playpen,rust-lang/rust-playpen