New commits: commit 0f21f16afcee29b58d976ed0895b16195aef20aa Author: Andrew Cagney <cagney at gnu.org> Date: Fri Apr 1 09:55:28 2016 -0400 pluto: include USE_PTHREAD_SETSCHEDPRIO in the config dump Missing from previous commit.