Commit e503523c authored by Philipp Hörist's avatar Philipp Hörist

Preferences: Don't use get_options()

This is in preparation of migrating the config module
parent 93d4e512
Pipeline #5986 passed with stages
in 4 minutes and 25 seconds