[18:20:55] <eddiegp>	 If one could take quick look at https://gerrit.wikimedia.org/r/#/c/343891/ which adds a new contributor to CREDITS that'd be nice, thanks.