Diff davix-0.7.4 with a davix-0.7.5

Thank you!