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)
commit0da20250592d08491f1c27473786b9d406c73c8b
treea64f6e7bb263a7733ddcece4bcba9da59687d5ab
parenta5ebea3809de3c72155fc5bbb28e3ea4d237b753
parent77bad153938f12be6ea80a0e57463ff22624ea96
Merge branch 'master' into debian

Include printf for default realm