Is it possible to release a patch 12.0.1 #6889
Description
On the 7th of August #6804 was merged which gives us quite some improvement in module compilation times. We hoped to get this feature in 0.12 but as it was merged with main 2 days after the 12.0 branch was created (the 5th) it hasn't been released. Is it possible to release a patch 12.0.1 with this commit? Also, this means the RELEASES #6838 is not correct as this change was not included in 12.0