Richard Sandiford <richard.sandif...@arm.com> writes: > Andrea Corallo <andrea.cora...@arm.com> writes: >> Hi Richard, >> >> this reverts the discussed patch and adds what was suggested as a >> comment. >> >> Apologies for the inconvenience, okay for trunk? > > OK, thanks! And sorry for not commenting/documenting this very well. > > Richard
Installed as e147bb0faad. Thanks Andrea
