Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Update reference to 20240131 #3712

Merged
merged 1 commit into from
Feb 1, 2024
Merged

Update reference to 20240131 #3712

merged 1 commit into from
Feb 1, 2024

Conversation

vmiklos
Copy link
Owner

@vmiklos vmiklos commented Feb 1, 2024

Also: www.example.com/osm -> osm.example.com, to match reality.

Change-Id: I309a751865a8a63bcc09c611741699876aa56baf

Also: www.example.com/osm -> osm.example.com, to match reality.

Change-Id: I309a751865a8a63bcc09c611741699876aa56baf
@vmiklos vmiklos enabled auto-merge (rebase) February 1, 2024 17:34
@vmiklos vmiklos merged commit 13de26e into master Feb 1, 2024
1 check passed
@vmiklos vmiklos deleted the private/vmiklos/master branch February 1, 2024 17:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant