Skip to content

Conversation

@ewoutp
Copy link
Contributor

@ewoutp ewoutp commented Jun 15, 2018

Fix prefix of internal ID's generated for single servers.

@ewoutp ewoutp self-assigned this Jun 15, 2018
@ewoutp ewoutp requested review from graetzer and neunhoef June 15, 2018 14:46
@ewoutp ewoutp merged commit 6cac1c9 into master Jun 15, 2018
@ewoutp ewoutp removed the 4 - Review label Jun 15, 2018
@ewoutp ewoutp deleted the bugfix/single-id-prefix branch June 15, 2018 14:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants