K 10 svn:author V 3 gjb K 8 svn:date V 27 2013-08-13T21:01:23.667663Z K 7 svn:log V 90 Remove get_rev_branch(), functionality exists in the release/Makefile. Submitted by: hrs END