Skip to content
Discussion options

You must be logged in to vote

It's not intended, seems something went wrong on github branch rename feature. We are looking into it.

Replies: 1 comment 3 replies

Comment options

You must be logged in to vote
3 replies
@brianteeman
Comment options

@HLeithner
Comment options

@richard67
Comment options

Answer selected by brianteeman
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
3 participants