Subject: Re: bug#52980: elide-head and revert-buffer interaction stops elide-head-show from working

From: Stefan Kangas <[email-masked]>
Date: Sun, 9 Jan 2022 04:13:00 -0600

close 52980 29.1
thanks

No further comments within 4 days; pushed to master as commit
262a7c9ea0.