A new Devel update is now available and should fix the issue from earlier today

]]>https://forums.ubports.com/topic/7910/devel-channel-breakage-fixedRSS for NodeTue, 12 May 2026 00:30:57 GMTWed, 06 Jul 2022 17:12:05 GMT60