"Johannes Schindelin via GitGitGadget" <gitgitgadget@xxxxxxxxx> writes: > From: Johannes Schindelin <johannes.schindelin@xxxxxx> > > In April, GitHub announced that the `macos-13` pool is available: > https://github.blog/changelog/2023-04-24-github-actions-macos-13-is-now-available/. > It is only a matter of time until the `macos-12` pool is going away, > therefore we should switch now, without pressure of a looming deadline. > ... > To reinstate the spirit of that commit _and_ to fix that build failure, > let's switch to the now-newest GCC version: v13.x. Thank you very much for a well reasoned patch that is very timely. I am tempted to fast-track this one down from 'seen' to 'maint' before we tag -rc1. Will queue.
