Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

towards self-hosting: ad-hoc records on target #713

Merged
merged 2 commits into from
Jul 9, 2021

Conversation

nikodemus
Copy link
Owner

No description provided.

@nikodemus nikodemus enabled auto-merge July 9, 2021 06:45
@nikodemus nikodemus merged commit 2cc5d86 into master Jul 9, 2021
@nikodemus nikodemus deleted the ad-hoc-records-on-target branch July 9, 2021 07:38
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant