• fixed warning about potential null pointer dereference

    Marco Maggi @hartwork
    Marco Maggi authored and hartwork committed Oct 30, 2018
    775cfba