<div dir="ltr">hi all,<div><br></div><div>what are the steps to reproduce the bug?</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">2014-08-06 6:17 GMT+02:00 Paul Wise <span dir="ltr"><<a href="mailto:pabs3@bonedaddy.net" target="_blank">pabs3@bonedaddy.net</a>></span>:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">On Wed, 2014-08-06 at 10:33 +0800, Paul Wise wrote:<br>
<br>
> Hmm, I haven't been able to reproduce it yet.<br>
<br>
</div>Actually I just did an upgrade that I noticed gnome-menus triggered on<br>
and got a crash of gnome-shell.<br>
<div class=""><br>
> Please report the issue upstream, they will pretty quickly fix it or<br>
> tell you what other update is missing.<br>
<br>
</div>I'll do that now.<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
bye,<br>
pabs<br>
<br>
<a href="http://bonedaddy.net/pabs3/" target="_blank">http://bonedaddy.net/pabs3/</a><br>
</font></span><br>_______________________________________________<br>
pkg-gnome-maintainers mailing list<br>
<a href="mailto:pkg-gnome-maintainers@lists.alioth.debian.org">pkg-gnome-maintainers@lists.alioth.debian.org</a><br>
<a href="http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-gnome-maintainers" target="_blank">http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-gnome-maintainers</a><br></blockquote></div><br></div>