diff options
| author | Erich Eckner <git@eckner.net> | 2018-04-25 14:14:39 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-04-25 14:14:39 +0200 |
| commit | 42235c298c9666b06cf1d6ced7346882ce0f1b33 (patch) | |
| tree | 7a8caf35dd58b9ae41225496484aadb7f1d9d641 /bin/build-master-status | |
| parent | bea2e56b0b86d478c0d5247b2c8ed8a939eac349 (diff) | |
| download | builder-42235c298c9666b06cf1d6ced7346882ce0f1b33.tar.xz | |
lib/mysql-functions: mysql_cleanup: a build_assignment might be handed out a couple of times, with one set of built packages not on the build-list anymore - do not remove build_assignments in that case
Diffstat (limited to 'bin/build-master-status')
0 files changed, 0 insertions, 0 deletions