BashSupport Pro: Adjust warning to note that version 5.2 is okay

Author: jansorg

configure.ac

@@ -103,7 +103,7 @@ bash_version=`$SH_PROG --version`
 [bash_minor=`$SH_PROG -c 'echo ${BASH_VERSINFO[1]}'`]
 bash_5_or_greater=no
 case "${bash_major}.${bash_minor}" in
-  'OK_BASH_VERS' | '5.0' | '5.1')
+  'OK_BASH_VERS' | '5.0' | '5.1' | '5.2')
     bash_5_or_greater=yes
     ;;
   *)