diff --git a/BACKPORT_TODO b/BACKPORT_TODO new file mode 100644 index 00000000..35e3aa84 --- /dev/null +++ b/BACKPORT_TODO @@ -0,0 +1,10 @@ +Error on backporting to branch 7.2, error on cherry picking 7137c60ffaa1dc11429223cf9f0e012efb937f31: + + + +to continue do: +git fetch && git checkout backport/172-to-7.2 && git reset --hard HEAD^ +git cherry-pick 7137c60ffaa1dc11429223cf9f0e012efb937f31 +git cherry-pick a028affe33484badeec311c255bd6e5a9e74748f +git cherry-pick dfe6c7abd72705a391530b2fbe8c925196de183c +git push origin backport/172-to-7.2 --force