Fabian Möller 1eec59e091 fs: update ChangeNotifier interface
This introduces a channel to the ChangeNotify function, which can be
used to update the poll-interval and cleanly exit the polling function.
2018-09-25 14:01:13 +02:00
..
2018-05-05 12:49:42 +01:00
2018-08-21 10:58:59 +01:00
2018-07-16 21:20:47 +01:00
2018-09-25 14:01:13 +02:00
2018-09-01 18:37:48 +01:00