#!/bin/bash
-oldver='1\.7\.2'
-oldmonth=October
-oldyear=2014
+oldver='1\.11\.0'
+oldmonth=January
+oldyear=2017
newmajor=1
-newminor=7
-newpatch=3
-newmonth=November
-newyear=2014
+newminor=12
+newpatch=0
+newmonth=July
+newyear=2017
newver="${newmajor}.${newminor}.${newpatch}"