Are these going to be added to http://developer.xojo.com/release-notes ?
They are already: http://developer.xojo.com/2018r11-release-notes
They’re hidden in the left are of the page.
The link on the main release notes page is now also updated.
Sometimes this comes to me: everything is OK, I am happy and then a friend tells me about a missing piece