Subject: Re: bug#18038: crash when edebugging menu-bar-update-buffers

From: Glenn Morris <[email-masked]>
Date: Sun, 20 Jul 2014 23:44:05 -0400

Dmitry Antipov wrote:

> Should be fixed in r117545.

Well I can't test it right now, but that's why I gave a recipe! :)
So closing.