Hi all, According to QUIP-5 (http://quips-qt-io.herokuapp.com/quip-0005.html), we should move the 5.12 branch into cherry-pick mode now that we have created the 5.14 branch. Gerrit admins, could you please do the required changes in gerrit and for the sanity bot? Let’s do one final down-merge of 5.12 to 5.13 once that’s done. Thanks, Lars