# HG changeset patch
# User Heiko Schlittermann (JUMPER) <hs@schlittermann.de>
# Date 1426896087 -3600
# Node ID 6c123e09b8c25c6bb049878fd1d90d17a6cb784b
# Parent  8e4a19fb6fc67bb6bc58d2bcead16a22cfd2d794
finally …

diff -r 8e4a19fb6fc6 -r 6c123e09b8c2 .hgsubstate
--- a/.hgsubstate	Tue Mar 17 23:16:45 2015 +0100
+++ b/.hgsubstate	Sat Mar 21 01:01:27 2015 +0100
@@ -1,1 +1,1 @@
-06ced28bcbb83a614d7fafea5c0a77d3a5451dd9 lecture
+aca1a39c4ac9d16f161a1aa0fb4428621c0816ff lecture