Re: [GIT PULL] TEE housekeeping for v5.12