diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-11-07 15:17:48 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-11-07 15:28:05 +0100 |
| commit | c76edac15d5c729d9e5997eee1ae126ccd95f44f (patch) | |
| tree | 47aae7a5ad641895f61de1043bbb2f6a67027f60 /src/web | |
| parent | 9a7e567bf2389de35d470ef8f8d6188b89442081 (diff) | |
| download | cuirass-c76edac15d5c729d9e5997eee1ae126ccd95f44f.tar cuirass-c76edac15d5c729d9e5997eee1ae126ccd95f44f.tar.gz | |
database: Remove duplicate #:in-progress entry.
* src/cuirass/database.scm (db-get-evaluations-build-summary): Remove
duplicate #:in-progress entry.
Diffstat (limited to 'src/web')
0 files changed, 0 insertions, 0 deletions