Kai Lueke d59d626d3b coreos-devel/mantle: bump to latest commit
We have to update the commit ID now when a mantle PR gets merged
because the new pipeline uses it.
2022-03-21 10:59:14 +01:00
..