[GRASS5] tagging 5.0.1

[Markus Neteler]

Tomorrow I would like to tag 5.0.1 release branch.

To be sure, I would like to know the cvs tag command
from the experts.
Will this be correct?
 cvs tag -r <releasebranch> <tagname>

Thanks,

 Markus