Bump release to 3.1.5 in issue.install

diff --git a/tools/issue.install b/tools/issue.install
index 6eecf9df785ff2d86ceb04d414f3689b20e3f720..84866b941d9b4c5766335ef0bab25bf76b49b282 100644 (file)
--- a/tools/issue.install
+++ b/tools/issue.install
@@ -1,5 +1,5 @@
 
-Welcome to MINIX 3.1.4.
+Welcome to MINIX 3.1.5.
 
 This snapshot is an interim release, not final release quality. It is
 intended as a prerelease for developers.