Merged, thanks!
Mathieu
- On Dec 12, 2018, at 3:30 PM, Michael Jeanson mjean...@efficios.com wrote:
> Signed-off-by: Michael Jeanson
> ---
> doc/examples/Makefile.examples.template | 6 --
> doc/examples/dist-files/Makefile| 2 +-
> doc/examples/hlist/Makefile | 2 +-
>
Signed-off-by: Michael Jeanson
---
doc/examples/Makefile.examples.template | 6 --
doc/examples/dist-files/Makefile| 2 +-
doc/examples/hlist/Makefile | 2 +-
doc/examples/wfcqueue/Makefile | 2 +-
4 files changed, 7 insertions(+), 5 deletions(-)
diff --git a/doc