--- wikisrc/ports/mipsco.mdwn	2017/03/30 16:06:58	1.10
+++ wikisrc/ports/mipsco.mdwn	2017/12/28 06:15:14	1.11
@@ -1,6 +1,6 @@
 [[!template id=port
 port="mipsco"
-cur_rel="7.1"
+cur_rel="7.1.1"
 future_rel="8.0"
 changes_cur="7.0"
 changes_future="8.0"