Re: [BUG?] Segv with latest 3.1.1