On 28-08-20, 11:41, Peter Ujfalusi wrote:> No users left in the kernel, it can be removed.Applied, thanks-- ~Vinod