Hello! Christopher Lemmer Webber <[email protected]> skribis:
> In the meanwhile, should I push the older version of the package as per > my diff above so people can use the older version if they need it? That seems like a good idea IMO, with a comment linking to this issue. Thanks, Ludo’.
