HEAD is now at 2823320 Merge remote-tracking branch 'gnu/master' into…

...9.0

Signed-off-by: Paul Beeler <sparksco@gmail.com>