diff options
Diffstat (limited to 'debian/patches-rt/0148-rtmutex-add-ww_mutex-addon-for-mutex-rt.patch')
-rw-r--r-- | debian/patches-rt/0148-rtmutex-add-ww_mutex-addon-for-mutex-rt.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches-rt/0148-rtmutex-add-ww_mutex-addon-for-mutex-rt.patch b/debian/patches-rt/0148-rtmutex-add-ww_mutex-addon-for-mutex-rt.patch index ab7c5c446..994eb4348 100644 --- a/debian/patches-rt/0148-rtmutex-add-ww_mutex-addon-for-mutex-rt.patch +++ b/debian/patches-rt/0148-rtmutex-add-ww_mutex-addon-for-mutex-rt.patch @@ -1,7 +1,7 @@ From: Sebastian Andrzej Siewior <bigeasy@linutronix.de> Date: Thu, 12 Oct 2017 17:34:38 +0200 Subject: [PATCH 148/353] rtmutex: add ww_mutex addon for mutex-rt -Origin: https://git.kernel.org/cgit/linux/kernel/git/rt/linux-stable-rt.git/commit?id=0266b089fe88193628a2c654eb8af52da00aeca5 +Origin: https://git.kernel.org/cgit/linux/kernel/git/rt/linux-stable-rt.git/commit?id=5638b534fffb7e1464776909b8ea609101dceddb Signed-off-by: Sebastian Andrzej Siewior <bigeasy@linutronix.de> --- |