Mark 7.12.3-rc.0 as official 7.12.3 release

jhiemstrawisc · jhiemstrawisc · commit c2315bcb8fa4 · 2025-01-31T22:09:27.000Z
diff --git a/web_ui/frontend/package.json b/web_ui/frontend/package.json
@@ -1,6 +1,6 @@
 {
   "name": "src",
-  "version": "7.12.3-rc.0",
+  "version": "7.12.3",
   "private": true,
   "scripts": {
     "dev": "next dev",
