Commit dc823340612196ee360b5fb5a32bd1d9e143b256

Behdad Esfahbod 2022-11-29T15:26:55

Remove a couple of unneeded .iter() invocations