Merge branch 'master' of https://git.gnus.org/gnus
authorLars Ingebrigtsen <larsi@gnus.org>
Sun, 23 Dec 2012 18:46:03 +0000 (19:46 +0100)
committerLars Ingebrigtsen <larsi@gnus.org>
Sun, 23 Dec 2012 18:46:03 +0000 (19:46 +0100)
commitb81275df268c28a57b94f58417cfce61d36baf4c
treef071eb88b7a1c0630bfae7d4ff4fdda880c4907a
parent881b86d2bc0aa5e8b32eeb2b07ab165ed467ec7e
parent1db42d895431c82232a567bda94a058a9c38ddf0
Merge branch 'master' of https://git.gnus.org/gnus
lisp/ChangeLog