> a revision number change this small

Well, it was jumped from 3.1(.0) to 3.1.4, skipping 3.1.1 to 3.1.3 ;-)
But then, it's usually "version"."revision"."build", so the revision number wasn't even changed ;-)