Code

Development fix 5442#337

Code

Merged

lwesterhof merged 3 commits intodevelopmentUtrechtUniversity/yoda-ruleset:developmentfrom development-fix-5442UtrechtUniversity/yoda-ruleset:development-fix-5442Copy head branch name to clipboardOct 3, 2023

+47-2

Commits

Commits on Sep 29, 2023

• added extra check when removing a group whether corresponding vault is empty

  HarmdR

  committed
  6899d56

Commits on Oct 3, 2023

• Small cleanup.

  lwesterhof

  committed
  243df55

• Merge branch 'development' into development-fix-5442

  lwesterhof

  committed
  63f1ec6