[09:46] <mup> PR operator#744 closed: more typing <Created by PietroPasotti> <Merged by jnsgruk> <https://github.com/canonical/operator/pull/744>