Oh well, mistakes happen. Monero had the reverse problem at the same time: two transactions validated according to the old protocol were included in a block after the hard fork.
Bitcoin Twitter's reaction: never take any risk whatsoever to improve anything at all...