Merge branch 'master' into debian
authorSam Hartman <hartmans@debian.org>
Tue, 4 Nov 2014 20:47:00 +0000 (15:47 -0500)
committerSam Hartman <hartmans@debian.org>
Tue, 4 Nov 2014 20:47:00 +0000 (15:47 -0500)
Include printf for default realm


Trivial merge