RHDEVDOCS 5444 publish Pipelines 1.12 standalone

mramendi · mramendi · commit e3dbb0d5a4f2 · 2023-09-28T16:27:42.000+01:00
diff --git a/_templates/_page_openshift.html.erb b/_templates/_page_openshift.html.erb
@@ -210,6 +210,7 @@
               <%= distro %>
             </a>
             <select id="version-selector" onchange="versionSelector(this);">
+              <option value="1.12">1.12</option>
               <option value="1.11">1.11</option>
               <option value="1.10">1.10</option>
             </select>
