
Feb. 15, 2016
5:27 p.m.
Hi Robert, On Mon, Feb 15, 2016 at 4:37 PM, Robert Grosse <n210241048576@gmail.com> wrote:
Thanks! Your example turned an impossible-to-debug problem into a relatively easy one. Fixed and tested in 96c2ec82f010. Now at least the command line you give in the issue report completes without a segfault. A bientôt, Armin.