Drop unused le_ssl_ops::err_is_ok It is not used anymore since errors are ignored if some progress had been done.
2023-05-16T21:16:33