diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2024-10-30 15:03:51 +0100 |
|---|---|---|
| committer | Johannes Schindelin <johannes.schindelin@gmx.de> | 2024-10-30 17:38:38 +0100 |
| commit | 062d9fb033ec994305343bb28dbad3c2f799de47 (patch) | |
| tree | 9455e55d98f5fb3a68e46571a58d055956881617 /diffcore-rotate.c | |
| parent | dbecc617f75eea6ee5d05823a38b91223ff22b11 (diff) | |
| parent | 83b08eb19f05710a92d565124606dcaf68bcc68b (diff) | |
Merge branch 'backport-github-actions-fixes'
The planet keeps revolving, and CI definitions (even old ones) need to
be kept up to date, even if they worked unchanged before (because now
they don't).
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Diffstat (limited to 'diffcore-rotate.c')
0 files changed, 0 insertions, 0 deletions