Subject: Re: bug#11571: 24.0.97; doc string of `dired-get-subdir-min'

From: Stefan Kangas <[email-masked]>
Date: Sun, 10 Nov 2019 22:17:35 +0100

close 11571 27.1
thanks

Stefan Kangas <[email-masked]> writes:

> If there are no further comments or objections, I intend to push
> this in a couple of days.

Now pushed to master as commit 0154e41b18.  Closing.

Best regards,
Stefan Kangas