Unknown command DeleteHole

Using Work In Progress (6.0.17192.6471, 11-7-2017) I found out the command DeleteHole from the toolbar en from commandline does not work anymore.
A bug?

Hi Frits - yeah - sorry - use UntrimHoles - there should be a built in alias for DeleteHole (which is no more) to run UntrimHoles, but it’s not there yet.

-Pascal