"git@git.imp.fu-berlin.de:luvaseva/wikifilters.git" did not exist on "227363b8dc62ca334e1aed8853bd765d115a3ed9"
Remove type traits after migration to dune-common
Compare changes
Naturally, if anyone used Dune::Solvers::IsNumber, that would now be Dune::IsNumber. But I believe nobody was using this anyway.