GitLab

* doc/misc/ert.texi (Running Tests in Batch Mode): Say that ert test
selector strings are regular expressions.