2021-08-20 - tools.notwikilambda
19:46	<wm-bot>	<lucaswerkmeister> ran "git -C extensions/WikiLambda/ submodule update --init --recursive", apparently the function-schemata submodule was missing?	[tools.notwikilambda]