Looking at this briefly, I'm trying to think if there's any other, negative implications of such a change. Of course we want to keep stable series as stable as possible, avoiding big changes without a good reason, but to me it feels that right now the package as-is is anyway a no-op and only holds up updates. Are there also any possible side effects?
Normally I'd kill the package altogether, but since it's a stable series I think the dummy-package approach seems fine. I'm fine with getting it uploaded.
Looking at this briefly, I'm trying to think if there's any other, negative implications of such a change. Of course we want to keep stable series as stable as possible, avoiding big changes without a good reason, but to me it feels that right now the package as-is is anyway a no-op and only holds up updates. Are there also any possible side effects?
Normally I'd kill the package altogether, but since it's a stable series I think the dummy-package approach seems fine. I'm fine with getting it uploaded.