diff options
| author | Joey Hess <joeyh@joeyh.name> | 2017-12-03 14:29:04 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-12-03 14:29:04 -0400 |
| commit | 1db78dcb0e70fd33c2edd71e5da23c882128eadd (patch) | |
| tree | 7df56e98e9d832e959ce7b3a25e48a4a96d385fa /doc/todo | |
| parent | 715c58e68b0697322aeac1fb7a318ae1566767b8 (diff) | |
update
Diffstat (limited to 'doc/todo')
| -rw-r--r-- | doc/todo/spin_without_remote_compilation/comment_7_3fed94d212de0e4ad2d2364cc91e6c94._comment | 3 |
1 files changed, 3 insertions, 0 deletions
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.) """]] |