tree 3308ff24a67d48b04f79daa91275edf4e1d9596b
parent e26e8c25272bed88f73132fe201202a720cf5f2a
author Adrià Vilanova Martínez <me@avm99963.com> 1642076739 +0100
committer gerritbot <gerritbot@avm99963.com> 1642077004 +0100

Merge branch 'main' into avm99963-monorail

Merged commit 9b72c743236c5333af241ea6eaf89dd7de15777c.

Also, removed files module-*.yaml, since before we excluded them in the
Makefile, but now they are included by default, and we don't want them.

GitOrigin-RevId: de032b6e562c3c0cb63464bf536f7a020f82f663