bash prompt: combine 'git rev-parse' for detached head

diff --git a/RelNotes b/RelNotes
index 50b2d422d80b2a0c8976c56422a2b851dbcd4a50..fce99fb79d16cbeb717ddbe36c7be231a00e4eba 120000 (symlink)
--- a/RelNotes
+++ b/RelNotes
@@ -1 +1 @@
-Documentation/RelNotes/1.7.3.1.txt
\ No newline at end of file
+Documentation/RelNotes/1.8.4.txt
\ No newline at end of file