From 5bd5a5a73d609622d060dc097c26e78c3fec3c44 Mon Sep 17 00:00:00 2001
From: Silvio Traversaro <silvio.traversaro@iit.it>
Date: Mon, 10 Apr 2023 20:43:46 +0200
Subject: [PATCH] Bump version in ipopt-binary

---
 ipopt-binary/CONTROL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ipopt-binary/CONTROL b/ipopt-binary/CONTROL
index 3dd9c8b..046c66d 100644
--- a/ipopt-binary/CONTROL
+++ b/ipopt-binary/CONTROL
@@ -1,3 +1,3 @@
 Source: ipopt-binary
-Version: 3.12.7-1
+Version: 3.12.7-2
 Description: Interior point optimizer