minor changes
authorPhilipp Holzer <admin@philipp.info>
Tue, 26 Jun 2018 21:43:43 +0000 (23:43 +0200)
committerPhilipp Holzer <admin@philipp.info>
Tue, 26 Jun 2018 21:43:43 +0000 (23:43 +0200)
commitd409a92ca201a5213dddc13d6b837988a4db4388
tree84faa77532a7281ca6daa9fab46f23df7009e614
parentdd085ae59226d4d25fa7b2ab0ec18edaab54d286
minor changes
src/Util/Lock.php