Effective at 11 pm local time Thursday, Spain ended the current provisional arrangements regarding Gibraltar's border, and therefore holders of the red resident card entering Spain would be ...