New PATCH release 07.01.01 minor changes for server 07.01.02, introduce UNUSED mask property for channels
