Thank you very much.
On Fri, 30 Oct 2015 06:56:44 +0100, Sönke Ludwig wrote:
Hi Bernard,
since the two licenses are almost identical that's definitely not a
problem. I've uploaded a version of the file with the boost license in
the header: https://gist.github.com/s-ludwig/ebeca5633e84565301b3