diff options
| author | Erich Eckner <git@eckner.net> | 2020-01-30 11:18:03 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-01-30 11:18:03 +0100 |
| commit | a9d2ea413bc0b4ccbebd2da7a48a8c0dbaf2e676 (patch) | |
| tree | 6f0c1e23e4671c1522bf518aa00a6663ae1d9cc9 /bin/ping-to-master | |
| parent | 90750bad1b9337731f7ba45b7d4a15544b0e51f6 (diff) | |
| download | builder-a9d2ea413bc0b4ccbebd2da7a48a8c0dbaf2e676.tar.xz | |
check intentions_left() whenever we get a package_database_lock
Diffstat (limited to 'bin/ping-to-master')
0 files changed, 0 insertions, 0 deletions