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