Matthias Beyer 95e861b5ca Adapt for new API		2018-01-08 15:16:14 +01:00
..
core	Revert "Integrate spinner for nicer progress reports"	2018-01-04 12:10:07 +01:00
domain	Adapt for new API	2018-01-08 15:16:14 +01:00