Diff wmhdplop-0.9.11-r1 with a wmhdplop-0.9.12

Thank you!