mg/homeserver
1
1
Fork 0
Code Issues1 Pull requests3 Activity Actions

mgrote_users: fix filter #161

Merged
mg merged 1 commit from wantlist into master 2024-08-20 09:11:58 +02:00
Conversation 0 Commits 1 Files changed 1 +1 -1
mg commented 2024-08-20 09:06:15 +02:00
Owner
No description provided.
mg added 1 commit 2024-08-20 09:06:16 +02:00
mg merged commit 812e75a196 into master 2024-08-20 09:11:58 +02:00
mg deleted branch wantlist 2024-08-20 09:11:58 +02:00
mg referenced this pull request from a commit 2024-08-20 09:11:59 +02:00
mgrote_users: fix filter (#161)
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: mg/homeserver#161
No description provided.
Delete branch "wantlist"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?