diff options
author | Jon Marius Venstad <jonmv@users.noreply.github.com> | 2020-09-18 12:22:04 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-18 12:22:04 +0200 |
commit | ffece1d93335a9cff4674b883a569c2853a9b820 (patch) | |
tree | df42191095a38d786fbf0c5fab14030a90c35493 /linguistics/pom.xml | |
parent | bb2b675eb9c6a159830a37eaa63703567d2b669e (diff) | |
parent | abed9dbb485cf8a89ab03549bcf130ce977a936f (diff) |
Merge pull request #14441 from vespa-engine/hmusum/take-lock-before-deleting
Take lock before deleting
Diffstat (limited to 'linguistics/pom.xml')
0 files changed, 0 insertions, 0 deletions