I am requesting approval for our up-coming 7.5.0 release which will be part of 2019-12.
The release consists of replacing the Dockerfile editor with a Language Server version, removing the now defunct OProfile feature, and some bug fixes.
Our release info can be found at:
and our N&N can be found at:
-- Jeff J.