Thanks. This seems to fix the specific bug, but there is a class of bugs where dump_all_logs raises an exception, and we should also address that.
« Back to merge proposal
Thanks. This seems to fix the specific bug, but there is a class of bugs where dump_all_logs raises an exception, and we should also address that.