Merge branch 'master' of https://git.gnus.org/gnus
authorKatsumi Yamaoka <yamaoka@jpl.org>
Thu, 27 Dec 2012 14:54:06 +0000 (14:54 +0000)
committerKatsumi Yamaoka <yamaoka@jpl.org>
Thu, 27 Dec 2012 14:54:06 +0000 (14:54 +0000)

Trivial merge