> Since these 2 patches don't modify what we can build with v9.0.0-rc3, > would it be acceptable to merge them without having to produce a > v9.0.0-rc4 tag before the final release?
I didn't want to ask you about that, but I agree it would not be an issue. Paolo
