Dev #13

Merged

dickmao merged 3 commits from dev into master

2019-11-23 15:12:54 +00:00

Author	SHA1	Message	Date
dickmao	ad62d473d4	do not assume the requisite set-buffer's	2019-11-23 09:57:04 -05:00
dickmao	a29537edc8	avoid npe	2019-11-21 23:07:28 -05:00
dickmao	74982b3515	global gnus-summary-buffer being #<killed buffer> is highly problematic	2019-11-20 15:14:59 -05:00