From f63364b9fea2f684ae745559210507c6b4dbc417 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Sun, 13 Oct 2019 21:33:24 +0200
Subject: [PATCH] Update upstream rev

---
 upstream/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/upstream/default.nix b/upstream/default.nix
index 8feff0a..20a15f8 100644
--- a/upstream/default.nix
+++ b/upstream/default.nix
@@ -40,8 +40,8 @@ let
 
       src = fetchgit {
         url = "https://git.sr.ht/~ehmry/genode";
-        rev = "e1d816fd76b2c7d86699cf5f4c0c56f77f968c72";
-        sha256 = "1wckwv3cwmynnlm4nan81sk57xb95whn9c9k6592yvdw55lm29g1";
+        rev = "ac3bbbde85a0e0e457ea40562263d7900179e6bb";
+        sha256 = "1ss3yaw6ixwrqavjy78z3i3jp93d4wzqfpmn82sajnwl1i93l8g0";
         fetchSubmodules = false;
       };