On 11/1/21 10:17 AM, Philippe Mathieu-Daudé wrote:
On 11/1/21 15:09, Taylor Simpson wrote:Plan-A should be to update the container with the new toolchain.IIUC Richard is going with Plan-A: wait Alex queue get merged, then retry merging this pull request.
Correct. r~
