I've deleted the references to the old, no longer existing themes from 1.1.x. I've also updated the user table to set those users that were using them to use the default theme.
Personally, i'm using the 1.1.x look-alike theme now...it's better on mobile devices IMHO.