Yosh Wuyts (Dec 09 2024 at 17:31): Yosh Wuyts (Dec 09 2024 at 17:31):I'm looking at the producers section docs, and something I can't quite figure out is whether the entries in the producer section are intended to be ordered or not?
Yosh Wuyts (Dec 09 2024 at 17:33):I'm wondering about this because I'm working on transformations for this in the wasm-metadata crate. It would be easier if we didn't have to preserve ordering, but that's only an option if the ordering of the producer section isn't important.
Alex Crichton (Dec 09 2024 at 17:37):AFAIK ordering there isn't important
Yosh Wuyts (Dec 09 2024 at 17:41):Ok, ty!
Pat Hickey (Dec 09 2024 at 18:23):yeah agreed ordering is not important
Last updated: Dec 23 2024 at 12:05 UTC