diff options
| author | Erich Eckner <git@eckner.net> | 2018-08-02 13:45:28 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-08-02 13:45:28 +0200 |
| commit | 7788456ce70b5c8d4156b556ca1241d0b915f7c2 (patch) | |
| tree | b1f5b27f69e0252872c9e4bc02450faba29d819c /misc | |
| parent | c817a6425e1ab2ec5fe863ee732dc687ac01e40e (diff) | |
| download | builder-7788456ce70b5c8d4156b556ca1241d0b915f7c2.tar.xz | |
bin/build-master-status: more diversity in database-dirty messages
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions