Merge pull request #346 from MrAnno/filterx-move-make-readonly #1190
devshell.yml
on: push
distcheck
7m 6s
style-check
1m 51s
copyright-check
2m 6s
commits-check
33s
Matrix: general