Skip to content

Conversation

@mfeurer
Copy link
Collaborator

@mfeurer mfeurer commented Nov 7, 2019

As this will result in wrong outputs if the server is changed during the execution of a program

@mfeurer mfeurer requested a review from PGijsbers November 8, 2019 12:27
@mfeurer mfeurer marked this pull request as ready for review November 8, 2019 12:27
Copy link
Collaborator

@PGijsbers PGijsbers left a comment

Choose a reason for hiding this comment

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

Good catch!

@PGijsbers PGijsbers merged commit fb1c1d9 into develop Nov 8, 2019
@PGijsbers PGijsbers deleted the fix_print_entities branch November 8, 2019 14:23
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.

3 participants