Merge branch 'master' of https://git.gnus.org/gnus
authorKatsumi Yamaoka <yamaoka@jpl.org>
Thu, 25 Apr 2013 13:56:04 +0000 (13:56 +0000)
committerKatsumi Yamaoka <yamaoka@jpl.org>
Thu, 25 Apr 2013 13:56:04 +0000 (13:56 +0000)

Trivial merge