I'm confused. Is there an x86-64 platform which is 32 bits?

Thanks, but merging it in rust-lang/rust would have been fine, too. This will normally reach that repo next Monday or Tuesday, is that too late?

I'm confused. Is there an x86-64 platform which is 32 bits?

Yes, the Rust target is x86_64-unknown-linux-gnux32. Debian calls it just "x32".

Thanks, but merging it in rust-lang/rust would have been fine, too. This will normally reach that repo next Monday or Tuesday, is that too late?

I tried to send it there first, but I was sent here. See the referenced PR above.

I know, but that's just a bot asking nicely :-).

Oh.. It's 64 bit but due to x32 ABI, it has 32 bits pointer width 🙃

I know, but that's just a bot asking nicely :-).

Yes, the bot was asking nicely. But a real human closed my PR without merged it. ;-)