Release notes: mention -XEmptyCase