On 30 May 2016 at 07:48, Carsten Haitzler wrote:
> On Sun, 29 May 2016 17:38:47 +0200 Massimo Maiurana
> said:
>
> > On a quite recent git (just some days older), when I try to delete a
> > file on the desktop via right click on it I get a segfault, I have to
> > remove it from the ~/Desktop fol
On Sun, 29 May 2016 17:38:47 +0200 Massimo Maiurana said:
> On a quite recent git (just some days older), when I try to delete a
> file on the desktop via right click on it I get a segfault, I have to
> remove it from the ~/Desktop folder. Backtrace attached.
yes - this is tom's change of eo_del
On a quite recent git (just some days older), when I try to delete a
file on the desktop via right click on it I get a segfault, I have to
remove it from the ~/Desktop folder. Backtrace attached.
Bye
--
Massimo Maiurana
Ragusa (RG)
Thread 4 (Thread 0x7f0939b2a700 (LWP 2178)):
#0 pthread_cond_w