> 'do' is the German abbreviation.
Dutch, too. I guess my brain momentarily flipped back to my native language when typing out these abbreviations. Thanks for fixing that. _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
