On Tue, May 19, 2020 at 06:44:24PM -0000, tip-bot2 for Gustavo A. R. Silva wrote: > The following commit has been merged into the locking/core branch of tip: > > Commit-ID: db78538c75e49c09b002a2cd96a19ae0c39be771 > Gitweb: > https://git.kernel.org/tip/db78538c75e49c09b002a2cd96a19ae0c39be771 > Author: Gustavo A. R. Silva <[email protected]> > AuthorDate: Thu, 07 May 2020 13:58:04 -05:00 > Committer: Peter Zijlstra <[email protected]> > CommitterDate: Tue, 19 May 2020 20:34:18 +02:00 > > locking/lockdep: Replace zero-length array with flexible-array >
Thanks, Peter. -- Gustavo
