#3: delete wrong patch

2017-05-22 20:41:13 +02:00 · 2017-05-22 20:41:13 +02:00 · 511a3cfc78
parent e436c59347 ef1ae661e7
commit 511a3cfc78
1 changed files with 1 additions and 1 deletions
--- a/commit.ref
+++ b/commit.ref
@ -1 +1 @@
-Subproject commit b9adf21bc5caaef3a0100514083a99021381a7fb
+Subproject commit ef1ae661e7856f2ad59d8e5c2a82952bcb922ed8