I find from a leftover commandline that the intended minimum rust version is probably 1.71. @sgtatham, is that right?
Pipeline #637644 failed
Pipeline failed for 6c7a2d28 on ci-version
Merge details
assigned to @iwj
When I started developing this, I was on 1.70, acquired via Ubuntu 22.04. Ubuntu has since updated me to 1.71 and then 1.72. So I'm happy leaving it at 1.72 if there's no reason to push it earlier.
Ah. OK. Good.
closed