Error running this command: diff -U 5 "/home/users/hisystems/tmp/ghcgen" "/home/users/hisystems/tmp/AksP7l"
diff -U 5 "/home/users/hisystems/tmp/ghcgen" "/home/users/hisystems/tmp/AksP7l"
No output on STDOUT.