<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">2016-01-11 17:47 GMT+01:00 Ben Coman <span dir="ltr">&lt;<a href="mailto:btc@openinworld.com" target="_blank">btc@openinworld.com</a>&gt;</span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb adM"><div class="">&gt;&gt; (It comment saves copyright from CriticalSection)<br>
<br>
</div></div>I don&#39;t think that is proper.  The code is the same, just some names<br>
have changed.  I&#39;ll bet the primitives were funded by 3DICC too, so<br>
credit where credit is due.</blockquote></div><br>But copyright is mentioned in class comment</div></div>