Dear all,

I've pushed a very obvious fix for a NULL pointer dereference
on behalf of Steve after regtesting on x86_64-pc-linux-gnu as

https://gcc.gnu.org/g:84807af0ca6dfdb81abb8e925ce32acbcab29868

Thanks,
Harald


Reply via email to