Merge branch 'master' of https://git.gnus.org/gnus
commit3107075e84653c5f05cf94353595a66bbf8cd768
authorLars Ingebrigtsen <larsi@gnus.org>
Wed, 26 Dec 2012 17:10:23 +0000 (26 18:10 +0100)
committerLars Ingebrigtsen <larsi@gnus.org>
Wed, 26 Dec 2012 17:10:23 +0000 (26 18:10 +0100)
tree55599c12bc9675b3885110648f5766e59162a78b
parentc5b4b91d0c5ffdefc8dd7658adf41b2196ff91e8
parentfb4b44b34a2be1a1c35d7d9b15b82f04e0a6c215
Merge branch 'master' of https://git.gnus.org/gnus