On Sun, Jan 13, 2019 at 11:43 AM Simon Marchi <simon.marchi@polymtl.ca> wrote: > Ok. For the record, the patch LGTM, but I am not sure if you are waiting > for a review from Woody in CC? Thanks for the review. I've committed this change to master. -- Max