Update mistletoe to grab typing information #26
Description
Pending miyuchina/mistletoe#252, we should upgrade to the next release of mistletoe to get typing information (and remove the associated # ignore: type).
{{ message }}
Pending miyuchina/mistletoe#252, we should upgrade to the next release of mistletoe to get typing information (and remove the associated # ignore: type).