On Thu, 2022-08-25 14:50:12 +0200, Martin Liška wrote: > On 8/25/22 14:48, Jan-Benedict Glaw wrote: > > On Thu, 2022-08-25 10:38:30 +0200, Martin Liška wrote: > >> Remove the port that has been marked obsolete in GCC 12 change notes. > > > >> contrib/ChangeLog: > >> > >> * config-list.mk: Remove cr16. > > > > Thanks for not forgetting this part! I hope the scripts will properly > > pick up the cr16 removal. We'll find out! :) > > Which scripts do you mean? My laminar job scripts, they directly use `make -f contrib/config-list.mk show` output. > May I install the patch? LGTM, but I'm a write-after-approval committer and no reviewer or global maintainer. MfG, JBG --