Add my gpg fingerprint to release docs

diff --git a/RELEASE.md b/RELEASE.md
index 70b02f9e491d622e0ce7012f875b6d64b9ca790c..4980aa342e06fc5ed012a76019a8edfd4120102c 100644 (file)
--- a/RELEASE.md
+++ b/RELEASE.md
@@ -87,6 +87,12 @@ NH:
 git tag -u 630F89D9 -m "Version $VERSION" v$VERSION
 ```
 
+JF:
+
+```
+git tag -u 9E0B003C -m "Version $VERSION" v$VERSION
+```
+
 Push the tag:
 
 ```