Sync from Upstream

2019-03-15 21:17:07 +01:00
parent ea53e1f981
commit 6a52b6074f
161 changed files with 2002 additions and 1463 deletions
--- a/client/hardnested/hardnested_tables.c
+++ b/client/hardnested/hardnested_tables.c
@@ -577,4 +577,4 @@ int main(int argc, char *argv[]) {
    free_part_sum_bitarrays();

    return 0;
-}
+}