tree ec84d1ff71f69470b6f439f7e1f1a442599e0080
parent 40d97ee21fc3e39db73ee8f84b847a22f9d251cc
author Pedro Alves <pedro@palves.net> 1653665101 +0100
committer Pedro Alves <pedro@palves.net> 1655456329 +0100

Eliminate copy_location_spec

copy_location_spec is just a wrapper around location_spec::clone(), so
remove it and call clone() directly.  This simplifies users, as they
no longer have to use std::unique_ptr::get().

Change-Id: I8ce8658589460b98888283b306b315a5b8f73976