The django team tries very hard to not introduce backwards-incompatible changes
into patch versions, so I guess it is safe to only use the major and minor
version number for specific Django versions.
This way, it doesn't require manual action by users who have added django_1_3_*
into system packages or local overrides/custom derivations.
Thanks to @7c6f434c for the suggestion.
10d92ca988