From 528ffaac79db014a6a7635f40097402c45d2dd09 Mon Sep 17 00:00:00 2001
From: Gioacchino Mazzurco <gio@eigenlab.org>
Date: Sat, 8 Jun 2019 12:36:20 +0200
Subject: [PATCH] Update OBS recipes

---
 build_scripts/OBS | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build_scripts/OBS b/build_scripts/OBS
index 35923c319..e76b4986f 160000
--- a/build_scripts/OBS
+++ b/build_scripts/OBS
@@ -1 +1 @@
-Subproject commit 35923c31918c0497827a6c22381178b63b10f6e0
+Subproject commit e76b4986f79a6aca5b86bbac8d89e79fd552633c