Skip to content
Snippets Groups Projects
Commit 67b763a9 authored by Henrik tom Wörden's avatar Henrik tom Wörden
Browse files

FIX: deal with empty options list

parent 56cbe6c8
No related branches found
No related tags found
Checking pipeline status