Subject: Re: bug#34707: Failure to find the associated pdump file
From: Eli Zaretskii <[email-masked]>
To: [email-masked]
Cc: [email-masked], [email-masked]
Date: Fri, 28 Jun 2019 09:42:16 +0300
List-Id: <debbugs-submit.debbugs.gnu.org>

This bug was fixed by Daniel in commit b9ac4f8.  Closing.