File get_release_number.sh of Package gdb.2428

#!/bin/bash

echo "14.1"