merge branch 'refactoring-scheduler'
authorlurchi <lurchi@strangeplace.net>
Sat, 30 Dec 2017 20:32:59 +0000 (21:32 +0100)
committerlurchi <lurchi@strangeplace.net>
Sat, 30 Dec 2017 20:32:59 +0000 (21:32 +0100)
commitdca8eb9c44dbdfa3fc572dde40c1e0927cfee8db
treee0b2a09e6d4777308bb9b30511815b4d5f756891
parent5c8feda7faa01365a1fb6983595ceb65dfe4fb11
parent11f78ccd0b66e08b8d1084cc335daac99d3f6a7e
merge branch 'refactoring-scheduler'
src/include/gnunet_common.h
src/include/gnunet_scheduler_lib.h
src/util/network.c