diff options
| author | Julian Andres Klode <jak@debian.org> | 2024-05-28 12:53:41 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2024-05-28 12:53:41 +0000 |
| commit | faf3af631aa8cc25100ccf88c9aaa07cc5ba2697 (patch) | |
| tree | ed7557339af66867ca5263086323de0cbba752a6 /cmdline | |
| parent | de7c78680f5647f8e999b66d81904262de499a48 (diff) | |
| parent | 32a503b97583ab227e9a34d7c3d3d30171c6bcf5 (diff) | |
Merge branch 'user-ci-fixes' into 'main'
CI: Set /bin/sh shell for travis user, so flock -c works
See merge request apt-team/apt!351
Diffstat (limited to 'cmdline')
0 files changed, 0 insertions, 0 deletions