President Obama signs DADT repeal.