Looks good, please push.
On 14/12/19 1:58 am, Joel Sherrill wrote:
> closes #3808.
> ---
> bare/config/devel/qemu-couverture-git-1.cfg | 4 ++--
> 1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/bare/config/devel/qemu-couverture-git-1.cfg
> b/bare/config/devel/qemu-couverture-g
closes #3808.
---
bare/config/devel/qemu-couverture-git-1.cfg | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/bare/config/devel/qemu-couverture-git-1.cfg
b/bare/config/devel/qemu-couverture-git-1.cfg
index fc8daab..4ca79f8 100644
--- a/bare/config/devel/qemu-couverture-git