On Fri, 23 Feb 2018, Peter Wang wrote: > LICENSE: > Refer to boehm_gc/README.md for copyright information, > to reduce duplicated information that we forget to update. That's fine. Julien.