Have been waiting for 11.0.0 to be released so I can merge into my 10.3 efforts. I see 11.0 is on GitHub under releases, but when I start the merge, files appear to be tagged with nuttx-11.0.0-RC2. I also don't recall seeing an email here about the release.
Before I continue, can someone confirm that the 11.0 release on GitHub is the pukka release, please?