docs: Added item to release notes for 7.12.

Signed-off-by: Kai Wasserbäch <kai@dev.carbon-project.org>
1 file changed