https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=234300 --- Comment #4 from Joseph Mingrone <jrm at freebsd.org> --- Jochen, Could you try the updated editors/slime that just hit the ports tree? Joseph -- You are receiving this mail because: You are the assignee for the bug.