The version in develop is "1.3-develop" if 1.3 was our last release and 1.4 is the upcoming release. For the plugin registration system being added in #3510, we want to be able to say a plugin needs a minimum version of 1.4. If develop's VERSION shows 1.3-develop, this won't match - but we equally don't want to say minimum version of 1.3, as this will match 1.3-stable.

So develop's VERSION needs to say 1.4. While doing this, the RPM version should be updated to be consistent.