From 1db78dcb0e70fd33c2edd71e5da23c882128eadd Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Sun, 3 Dec 2017 14:29:04 -0400 Subject: update --- .../comment_7_3fed94d212de0e4ad2d2364cc91e6c94._comment | 3 +++ 1 file changed, 3 insertions(+) (limited to 'doc/todo') diff --git a/doc/todo/spin_without_remote_compilation/comment_7_3fed94d212de0e4ad2d2364cc91e6c94._comment b/doc/todo/spin_without_remote_compilation/comment_7_3fed94d212de0e4ad2d2364cc91e6c94._comment index cc22a160..b45941ab 100644 --- a/doc/todo/spin_without_remote_compilation/comment_7_3fed94d212de0e4ad2d2364cc91e6c94._comment +++ b/doc/todo/spin_without_remote_compilation/comment_7_3fed94d212de0e4ad2d2364cc91e6c94._comment @@ -12,4 +12,7 @@ clone to temp dir and move of the files). Felix said he had not tested it, and I have not tested it either. If someone can try his branch and confirm that it works, including handling of cases #2 and #3 above, I'd be happy to merge it. + +(origin/precompiled has the above branch and has had current master +cleanly merged into it, and builds successfully.) """]] -- cgit v1.2.3