--- wikisrc/ports/hpcmips.mdwn	2017/12/28 06:15:13	1.17
+++ wikisrc/ports/hpcmips.mdwn	2018/03/19 04:46:32	1.18
@@ -1,6 +1,6 @@
 [[!template id=port
 port="hpcmips"
-cur_rel="7.1.1"
+cur_rel="7.1.2"
 future_rel="8.0"
 pkg_rel="6.0"
 changes_cur="7.0"