[16:57:18] <anomie>	 James_F: Thanks! (re https://gerrit.wikimedia.org/r/c/mediawiki/core/+/552339#message-532b332b0beda093645f8870495e15e283c238a5)
[16:57:56] <James_F>	 anomie: Happy to help. Sorry I didn't spot it earlier!