diff options
| -rwxr-xr-x | CVSROOT/tagcheck | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CVSROOT/tagcheck b/CVSROOT/tagcheck index 8a18199e9b77..70a3f7fc8576 100755 --- a/CVSROOT/tagcheck +++ b/CVSROOT/tagcheck @@ -14,7 +14,7 @@ case "$1" in esac case "$USER" in - jkh | peter | jdp | markm | obrien | murray | jhb) + jkh | peter | jdp | markm | obrien | murray | jhb | bmah ) exit 0 # ok ;; *) |