Gates restored

The gates to Edinburgh’s old Royal High School have been restored: