Skip to content

fixes locking bug ? - #429

Merged
mfeurer merged 1 commit into
developfrom
lock_bug
Apr 3, 2018
Merged

fixes locking bug ?#429
mfeurer merged 1 commit into
developfrom
lock_bug

Conversation

@janvanrijn

Copy link
Copy Markdown
Member

I think there is a bug in the file locking, this apparently fixes it

@janvanrijn
janvanrijn requested a review from mfeurerMarch 30, 2018 20:55
@mfeurer

Copy link
Copy Markdown
Collaborator

Fixes #388.

@mfeurer
mfeurer merged commit 074e0cf into developApr 3, 2018
@mfeurer
mfeurer deleted the lock_bug branch April 3, 2018 10:50
@mfeurermfeurer mentioned this pull request Apr 3, 2018
@PGijsbersPGijsbers mentioned this pull request Apr 4, 2018
Sign up for freeto 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

@janvanrijn@mfeurer