feature/polish #2
manuel
commented 2023-04-16 02:41:19 +02:00
Owner
No description provided.
manuel
self-assigned this 2023-04-16 02:41:19 +02:00
manuel
added 2 commits 2023-04-16 02:41:20 +02:00
4b300004b9
Fix the ID update bug.
ae5a58acf8
Enable use of <>-fragment (update dependencies).
manuel
added 1 commit 2023-04-16 03:04:59 +02:00
7eecfc3cba
Update dependencies.
manuel
merged commit de6b2e8946 into main 2023-04-16 03:05:20 +02:00
manuel
referenced this issue from a commit 2023-04-16 03:05:20 +02:00
Merge pull request 'feature/polish' (#2) from feature/polish into main
manuel
deleted branch feature/polish 2023-04-16 03:05:20 +02:00
Loading…
Reference in New Issue
No description provided.
Delete Branch "feature/polish"
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?