Summary of changes: 26f3284... Patch the bz837641 build failure (*) 806f00c... fix systemtap PR14348: race condition in task_work_add() vs (*) 41f265f... Merge branch 'master' into f17 (*) This commit already existed in another branch; no separate mail sent