Merge pull request #5325 from nupplaphil/lock_followup
authorHypolite Petovan <mrpetovan@eml.cc>
Thu, 5 Jul 2018 20:27:26 +0000 (16:27 -0400)
committerGitHub <noreply@github.com>
Thu, 5 Jul 2018 20:27:26 +0000 (16:27 -0400)
Lock Abstraction FollowUp #5291


Trivial merge