Merged.
Thanks.
On Wed, Jun 21, 2017 at 5:14 PM, Bart Van Assche
wrote:
> On Wed, 2017-06-21 at 14:26 +0200, Xose Vazquez Perez wrote:
> > Cc: Bart Van Assche
> > Cc: Christophe Varoqui
> > Cc: device-mapper
On Wed, 2017-06-21 at 14:26 +0200, Xose Vazquez Perez wrote:
> Cc: Bart Van Assche
> Cc: Christophe Varoqui
> Cc: device-mapper development
> Signed-off-by: Xose Vazquez Perez
Reviewed-by:
Cc: Bart Van Assche
Cc: Christophe Varoqui
Cc: device-mapper development
Signed-off-by: Xose Vazquez Perez
---
third-party/valgrind/drd.h | 2 +-
third-party/valgrind/valgrind.h |