From aa61e86657ac121659d3a00d7b0c1e4a7d571a1f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Tue, 14 May 2019 19:42:33 +0200 Subject: [PATCH] Updated ligo-opam-repository submodule. --- vendors/ligo-opam-repository | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/vendors/ligo-opam-repository b/vendors/ligo-opam-repository index a6d8291dd..5c6dcfa9f 160000 --- a/vendors/ligo-opam-repository +++ b/vendors/ligo-opam-repository @@ -1 +1 @@ -Subproject commit a6d8291dd2fa97d53dab00ba34a5b8adc05c984b +Subproject commit 5c6dcfa9f3b230eef23cef8fef8fe079268e79dc