Update version to 7.2

diff --git a/pgbadger b/pgbadger
index bafc9c1515716a2dbc409ee52f6b5df5001e2395..4db4277f213475e0f250efc09be97e1040b86f45 100755 (executable)
--- a/pgbadger
+++ b/pgbadger
@@ -51,7 +51,7 @@ use FileHandle;
 use Socket;
 use constant EBCDIC => "\t" ne "\011";
 
-$VERSION = '7.1';
+$VERSION = '7.2';
 
 $SIG{'CHLD'} = 'DEFAULT';