From 2be13b0047366f4160516e70c596399b620351a8 Mon Sep 17 00:00:00 2001 From: Martin Diehl Date: Sun, 5 Aug 2018 06:02:33 +0200 Subject: [PATCH] test that also works for new nonlocal --- PRIVATE | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/PRIVATE b/PRIVATE index 67fcdfd00..3d5f71743 160000 --- a/PRIVATE +++ b/PRIVATE @@ -1 +1 @@ -Subproject commit 67fcdfd001a9e4f3da56d72ebeb0ea16d6d613e6 +Subproject commit 3d5f71743d97eadb4b7ec3d110fe86bf1d6d83d6