Skip to content
Snippets Groups Projects
Commit 930f042c authored by Christian Dreher's avatar Christian Dreher
Browse files

Merge branch 'feature/skillMemoryGUI' into 'master' 

Fix: skill gui live search

See merge request !442
parents 29bce717 c27230b6
No related branches found
No related tags found
1 merge request!442Fix: skill gui live search
Pipeline #18431 failed
Stage: build-and-test
Stage: deploy
Stage: post-deploy-test