Page MenuHomePhabricator

Merge a few external GitHub pull requests
Closed, ResolvedPublic

Event Timeline

kislinsk triaged this task as Normal priority.Oct 4 2023, 7:48 AM
kislinsk created this task.

Merged GitHub pull request https://github.com/MITK/MITK/pull/265 (Fix typos in Plugins subdirectory).

Deleted branch from rMITK MITK: bugfix/T30214-MergeAFewGitHubPullRequests.