# HG changeset patch
# User Kai T. Ohlhus <k.ohlhus@gmail.com>
# Date 1515594683 -3600
# Node ID 50545190a6049325f585926e5246f215e26e72d5
# Parent  a276f008ea74ad9571f3695cd92b8e3c98dfca37# Parent  06eb006b1e0fc46f9f99effc3908417007e71040
maint: merge stable to default.

diff -r a276f008ea74 -r 50545190a604 scripts/miscellaneous/ver.m
--- a/scripts/miscellaneous/ver.m	Wed Jan 10 08:40:38 2018 -0500
+++ b/scripts/miscellaneous/ver.m	Wed Jan 10 15:31:23 2018 +0100
@@ -40,11 +40,11 @@
 ## @item Version
 ## Version of the package.
 ##
-## @item Revision
-## Revision of the package.
+## @item Release
+## Release of the package.
 ##
 ## @item Date
-## Date of the version/revision.
+## Date of the version/release.
 ## @end table
 ##
 ## @seealso{version, usejava, pkg}