The US president announced pardons for thousands of military personnel who had been convicted under a law banning homosexuality in the US armed forces, as well as allowing their military documents to be amended.