Simon,

Thanks for the bug report (hint :-)!

zimoun 写道：
> The core-updates merge seems having broken the package 
> 'websocketpp'.

Fixed with commit 1860b4152360a18ac562690c1f541e53537bf262.

Kind regards,

T G-R