OK, I created a new bug for the segfault:

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=815635

With a backtrace and everything :)

-- 
Jason

Reply via email to