v0.15 Release?
https://web.getmonero.org/2019/10/01/announcement-release-0-15.html
The 0.15 release date was set on October 31, but I cannot find it anywhere. Did we missed the release date because I cannot find any information regarding the release status.
Thanks!