Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 12 additions & 0 deletions BACKPORT_TODO
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
Backport of #12041 to 2.9

Error on cherry-picking: b5df8acedfc0261c710045879a3dfec57185d40f, 45aaa784e82c6b6b8b25dfe33d80ae1fc613437a, fe018d056d1907324915db44e057219614eb1c80

To continue do:
```bash
git fetch && \
git checkout ghci/backport/12041-to-2.9 && \
git reset --hard HEAD^ && \
git cherry-pick b5df8acedfc0261c710045879a3dfec57185d40f 45aaa784e82c6b6b8b25dfe33d80ae1fc613437a fe018d056d1907324915db44e057219614eb1c80
git push origin ghci/backport/12041-to-2.9 --force
```