On Sat, 09 May 2015 21:50:58 +0200 Juan Francisco Cantero Hurtado <i...@juanfra.info> wrote:
> The error is unrelated to the port. Can you update your system and the ports > tree and try again? Everything ok. The error vanished after rebooting. Sorry for the noise and thanks for your port, Reinhold Straub
