2021-07-13 - production
17:05	<brennen@deploy1002>	Synchronized php-1.37.0-wmf.12/includes/user/UserOptionsManager.php: Backport: [[gerrit:704181|Do not lock user_preferences before updating (T286521)]] (duration: 01m 58s)	[production]