[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-ID: <CA+icZUUK3sgpHyY1h_pdzJzkX1bY46opLYytRKRzeCxBNzTX4A@mail.gmail.com>
Date: Mon, 12 Oct 2020 15:09:57 +0200
From: Sedat Dilek <sedat.dilek@...il.com>
To: Peter Zijlstra <peterz@...radead.org>,
Ingo Molnar <mingo@...hat.com>, Will Deacon <will@...nel.org>
Cc: linux-kernel@...r.kernel.org
Subject: Missing [GIT PULL] request for <tip.git#locking-urgent-2020-10-11>
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
Powered by blists - more mailing lists