Bessere Bezeichnung für verschiedene Helpdesk-Logins #4

Merged
gulliver merged 3 commits from gulliver-patch-2 into main 2 years ago
Collaborator
There is no content yet.
gulliver added 1 commit 2 years ago
gulliver added 2 commits 2 years ago
gulliver changed title from WIP: Bessere Bezeichnung für verschiedene Helpdesk-Logins to Bessere Bezeichnung für verschiedene Helpdesk-Logins 2 years ago
gulliver merged commit 0b2d74394f into main 2 years ago
l3d deleted branch gulliver-patch-2 2 years ago
The pull request has been merged as 0b2d74394f.
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No Assignees
1 Participants
Notifications
Due Date

No due date set.

Dependencies

No dependencies set.

Reference: wtf-eg/dienste#4
Loading…
There is no content yet.