This repository was archived by the owner on Dec 12, 2022. It is now read-only.

  - ensure that history.log gets closed to avoid leaking a FD
    (closes: #601649)