Missing [GIT PULL] request for <tip.git#locking-urgent-2020-10-11>

From: Sedat Dilek
Date: Mon Oct 12 2020 - 09:10:17 EST


Hi,

yesterday, I saw Ingo tagged "locking-urgent-2020-10-11" in tip Git.

Did you drop it or was this for Linux v5.9 final and the git-pull
request was simply forgotten?

Just curious.

Regards,
- Sedat -

[1] https://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git/tag/?h=locking-urgent-2020-10-11