Turris OS 7.1.2 is rolling out!

I think the 7.1 update borked my wifi - probably DHCP as I can still connect when using manually assigned IP address.
Rolling back did not fix either!