From dd363da5b0fa7c23ab8fbd2b81cd5cc2d0064ea6 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Fri, 13 Jul 2018 11:35:01 +0200
Subject: [PATCH] sculpt: update Seoul VM configuration

Changes to the Seoul configuration are required due to shared binary changes
by init (see #2866)
---
 repos/gems/run/sculpt.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run
index 2c39aa7ca1..d884ad630f 100644
--- a/repos/gems/run/sculpt.run
+++ b/repos/gems/run/sculpt.run
@@ -676,7 +676,7 @@ append manual_deploy_config {
 	-->
 
 <!--
-	<start name="seoul-vmm-browser" pkg="alex-ab/pkg/seoul-nova-sculpt/2018-06-27">
+	<start name="seoul-vmm-browser" pkg="alex-ab/pkg/seoul-nova-sculpt/2018-07-13">
 		<route>
 			<service name="ROM" label="platform_info"> <parent/> </service>
 			<service name="RM">        <parent/> </service>