Skip to content

Run `git submodule update` on WikiLambda

Bartosz Dziewoński requested to merge wikilambda into master

Created by: edg2s

Part of #385 (closed)

Merge request reports