Fixes #8348: dropdown menu now implemented
Pipeline #1858 passed
Pipeline passed for ac25758c on F8348-DropdownMenuViaAS_link 5 years ago
Pipeline #1859 passed
Pipeline passed for 1d70b760 on master 5 years ago
enabled an automatic merge when the pipeline for ac25758c succeeds
mentioned in commit 1d70b760
merged