2020-07-16 - production
18:18	<addshore@deploy1001>	Synchronized dblists/visualeditor-nondefault.dblist: [[gerrit:613198]] T256142 Move VisualEditor from beta to default on nlwikimedia PT1/2 (duration: 00m 56s)	[production]