Ten years later the Gibraltar company was absorbed and in 1812 the name was changed to the Corps of Royal Sappers and Miners .
The Gibraltar company had remained separate .
Ten years later the Gibraltar company , which had remained separate , was absorbed and in 1812 the name was changed to the Corps of Royal Sappers and Miners .