tree 620e953a931a13188c2bd9510aa3791ee8690e2c
parent 7cb6c235b6473b071ededee531f4e4e79b03d00a
author Mike Frysinger <vapier@chromium.org> 1550780212 -0500
committer chrome-bot <chrome-bot@chromium.org> 1550906234 -0800

mtools: version bump to 4.0.23

Upstream has integrated our patches, and fix a timing error in the lock
logic.  Upgrade to get them all.

BUG=chromium:933818
TEST=precq passes

Change-Id: I84d2d5362e473b72ffc3c762eadeed97922d172f
Reviewed-on: https://chromium-review.googlesource.com/1481101
Commit-Ready: Mike Frysinger <vapier@chromium.org>
Tested-by: Mike Nichols <mikenichols@chromium.org>
Tested-by: Mike Frysinger <vapier@chromium.org>
Reviewed-by: Mike Nichols <mikenichols@chromium.org>