From 27496a3ad0e6dbc4152a16e11a33ef293cba6b22 Mon Sep 17 00:00:00 2001 From: hse-devops <64845544+hse-devops@users.noreply.github.com> Date: Wed, 16 Nov 2022 16:05:18 -0600 Subject: [PATCH] Use tag for r3.0 in hse.wrap (#78) Signed-off-by: hse-devops --- subprojects/hse.wrap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/subprojects/hse.wrap b/subprojects/hse.wrap index 3ccd4b4..032440a 100644 --- a/subprojects/hse.wrap +++ b/subprojects/hse.wrap @@ -1,6 +1,6 @@ [wrap-git] url = https://github.com/hse-project/hse.git -revision = v3.0 +revision = r3.0 depth = 1 [provide]