Apparently, Spain decided Gibraltar was just a particularly fancy, albeit rocky, Spanish province. Visitors now get the full 'Welcome to Spain!' treatment, minus the actual Spanish border control, which is just… convenient.