Andy Wade wrote:
RCD protection (30 mA) is now required for all general-use 13 A sockets
and also for unprotected cables buried less then 50 mm deep in walls.
If the circuit is part of an older installation with no RCD then one
should, strictly speaking, be added.

If the supply is RCD protected, does that count?

--
JGH - who doens't waht to throw away his well-thumbed 16th Ed.