On 25/04/2018 12:33, Diego Biurrun wrote:
> This renaming was overlooked in the previous check_header() rename.
> ---
>
> Gosh, I had this in my branch ready for squashing and then forgot to
> actually squash it before sending the check_header() rename .. m(
>
> configure | 4 ++--
> 1 file
This renaming was overlooked in the previous check_header() rename.
---
Gosh, I had this in my branch ready for squashing and then forgot to
actually squash it before sending the check_header() rename .. m(
configure | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git
