From d8010e9b14297eb4ce1b3853d81e42c5ee10049d Mon Sep 17 00:00:00 2001
From: Registrator <ci@juliacomputing.com>
Date: Sat, 29 Oct 2022 07:26:53 +0530
Subject: [PATCH] New version: JuMP v1.4.0 (#71272)

UUID: 4076af6c-e467-56ae-b986-b466b2749572
Repo: https://github.com/jump-dev/JuMP.jl.git
Tree: 9a57156b97ed7821493c9c0a65f5b72710b38cf7

Registrator tree SHA: 8e1a5ac2695627143951512d700c7e3c445102ec
---
 J/JuMP/Versions.toml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/J/JuMP/Versions.toml b/J/JuMP/Versions.toml
index e5e829fde861611..a6de60676acd7a4 100644
--- a/J/JuMP/Versions.toml
+++ b/J/JuMP/Versions.toml
@@ -99,3 +99,6 @@ git-tree-sha1 = "906e2325c22ba8aaed432677d0a8d5cf24c9ea9e"
 
 ["1.3.1"]
 git-tree-sha1 = "8c0aacbcb0530d6fdc2650fe8cd312e7da452dbc"
+
+["1.4.0"]
+git-tree-sha1 = "9a57156b97ed7821493c9c0a65f5b72710b38cf7"