Diff ppx_log-0.15.0-r1 with a ppx_log-0.16.0

Thank you!