diff CONTRIBUTORS @ 24745:bc34b286781f

wlock: reword the devel warning We change the wording of the developer warning: - "lock" taken before "wlock" + "wlock" acquired after "lock" The goals here are to: - Put the "subject" as the first word, - use "acquired" instead of "taken" since it seems more accurate.
author Pierre-Yves David <pierre-yves.david@fb.com>
date Sun, 12 Apr 2015 13:28:35 -0400
parents c29efd272395
children
line wrap: on
line diff