Subject: 30.0.50; eldoc-echo-area-prefer-doc-buffer missing choice
From: Mauro Aranda <[email-masked]>
To: [email-masked]
Date: Sat, 14 Oct 2023 10:32:59 -0300
List-Id: <debbugs-submit.debbugs.gnu.org>

The docstring for eldoc-echo-area-prefer-doc-buffer says its value can
be the symbol maybe, but its :type is just boolean.