remove a TODO that has been fixed in the previous commit
remove a TODO that has been fixed in the previous commit
graydon/rust,GBGamer/rust,graydon/rust,graydon/rust,rust-lang/miri,GBGamer/rust,rust-lang/miri,tsion/miri,aidancully/rust,rust-lang/miri,graydon/rust,GBGamer/rust,aidancully/rust,GBGamer/rust,aidancully/rust,graydon/rust,rust-lang/miri,GBGamer/rust,aidancully/rust,GBGamer/rust,graydon/rust,aidancully/rust,GBGamer/rust,GBGamer/rust,aidancully/rust