The Footmen's Pioneer command participated with honors in the battles against the German invasion forces 9 of April 1940 was merged in 1951 with King's Regiment of Foot.