Skip to content

Conversation

@splitbrain
Copy link
Collaborator

this replaces #4369

kuangfio and others added 4 commits March 15, 2025 15:08
Even when the revision is explictly given instead of set to 0. See #4419
for ponderings about why this is necessary and a different approach.
@splitbrain splitbrain added the ToDo: QuickMerge This PR is either trivial or has not received any feedback in a while and thus should soon be merged label Mar 15, 2025
@splitbrain splitbrain merged commit 3ab4aa6 into master Apr 9, 2025
18 checks passed
@splitbrain splitbrain deleted the api-mediahistory branch April 9, 2025 18:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ToDo: QuickMerge This PR is either trivial or has not received any feedback in a while and thus should soon be merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants