Closed senekor closed 3 months ago
This is not really necessary, docopt works fine as it is. But it's nice to have maintained dependencies anyway.
@senekor Ah, I hadn't even seen your pr, sorry! Can you please reopen it? I'll merge it. Thanks again 🙏
Whoops, I think I accidentally deleted the branch.
This is not really necessary, docopt works fine as it is. But it's nice to have maintained dependencies anyway.