Commit 0dc661b5 authored by Philipp Hörist's avatar Philipp Hörist

DiscoInfo: Add has_category() method

parent 0783d913
Pipeline #5389 failed with stages
in 24 seconds