On 12/17/22 22:21, Peter Maydell wrote:
Does that mean somebody needs to do something before I can merge this?thanks -- PMM
Hi Peter, no one needs to do anything about the CI, it has already been taken care of.All containers that need flex/bison have it, and the debian-hexagon-cross container
has already been rebuilt manually and pushed by Alex. cheers, -- Anton Johansson, rev.ng Labs Srl.
