Florida signed Robinson after all.