23 Oct
2015
23 Oct
'15
5:16 p.m.
On Sat, Oct 24, 2015 at 12:24 AM, Sebastian Lackner sebastian@fds-team.de wrote:
Try to run ./configure again, that should fix it.
Yes, thanks. Sorry for the noise.