--- wikisrc/ports/x68k.mdwn	2017/12/28 06:15:14	1.12
+++ wikisrc/ports/x68k.mdwn	2018/03/19 04:46:33	1.13
@@ -1,6 +1,6 @@
 [[!template id=port
 port="x68k"
-cur_rel="7.1.1"
+cur_rel="7.1.2"
 future_rel="8.0"
 pkg_rel="6.0"
 changes_cur="7.0"