Skip to content
GitLab
Explore
Sign in
Fix: segfault in skill gui
Code
Review changes
Check out branch
Download
Patches
Plain diff
Peter Albrecht
requested to merge
fix/skill-gui-segfault
into
master
Sep 06, 2024
Overview
5
Commits
7
Pipelines
5
Changes
4
Expand
Fixes one segfault in the skill gui, which occurs when copying and pasting skill parameters.
Merge request reports