Skip to content

Fix #433 and #1081#1157

Merged
jaxoncreed merged 1 commit into
masterfrom
fix/#433#1081
Mar 28, 2019
Merged

Fix #433 and #1081#1157
jaxoncreed merged 1 commit into
masterfrom
fix/#433#1081

Conversation

@jaxoncreed

Copy link
Copy Markdown
Contributor

#433 #1081

I updated the readme to remove the feature that was never implemented from #433

I also included an error message that triggers when running the server in multiuser without webids, which doesn't make sense.

@michielbdejong michielbdejong left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@jaxoncreed jaxoncreed merged commit 71aae25 into master Mar 28, 2019
@kjetilk kjetilk deleted the fix/#433#1081 branch April 3, 2019 11:48
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.

2 participants