chiark / gitweb /
Test suite: In drs tests, check that master gets updated