Skip to content
GitLab
Explore
Sign in
Resolve "Löschen einer verwendeten FilterHistory schlägt fehl"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Michael Voigt
requested to merge
bugfix/231-remove-filterhistory-error
into
develop
Feb 28, 2023
Overview
5
Commits
8
Pipelines
1
Changes
7
Expand
Closes
#231 (closed)
Merge request reports