From 4161ef820268c5950f876acfcdde8d3b694fad04 Mon Sep 17 00:00:00 2001
From: Registrator <ci@juliacomputing.com>
Date: Mon, 27 Apr 2020 17:02:55 +0530
Subject: [PATCH] New version: ConstraintSolver v0.1.2 (#13721)

UUID: e0e52ebd-5523-408d-9ca3-7641f1cd1405
Repo: https://github.com/Wikunia/ConstraintSolver.jl.git
Tree: 8060ef747c9edf13b0314dff25735a4ac6d9baa4

Registrator tree SHA: unknown
---
 C/ConstraintSolver/Versions.toml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/C/ConstraintSolver/Versions.toml b/C/ConstraintSolver/Versions.toml
index 5056903b1fbba64..e7879ec1d9877f7 100644
--- a/C/ConstraintSolver/Versions.toml
+++ b/C/ConstraintSolver/Versions.toml
@@ -3,3 +3,6 @@ git-tree-sha1 = "f298730ee118c11015d4f4bf12c9097222a1f30f"
 
 ["0.1.1"]
 git-tree-sha1 = "8633a4343e1f410d709765dbc1867ef49d5e1ca5"
+
+["0.1.2"]
+git-tree-sha1 = "8060ef747c9edf13b0314dff25735a4ac6d9baa4"