On Fri, May 19, 2017 at 10:48:29AM +0200, Gerd Hoffmann wrote:
> Hi,
>
> Little single-patch pull request to fix a build issue.
>
> please pull,
> Gerd
>
> The following changes since commit 56821559f0ba682fe6b367815572e6f974d329ab:
>
> Merge remote-tracking branch
Hi,
Little single-patch pull request to fix a build issue.
please pull,
Gerd
The following changes since commit 56821559f0ba682fe6b367815572e6f974d329ab:
Merge remote-tracking branch 'dgilbert/tags/pull-hmp-20170517' into staging
(2017-05-18 13:36:15 +0100)
are available in the git