I see the latest commit in master is from 2016. I want to write a PR for #11. But will @jpvanhal merge PRs? @jpvanhal I understand that life can get busy. Do you want someone else to maintain this project? Or at least delegate merge authority?
I see the latest commit in master is from 2016.
I want to write a PR for #11. But will @jpvanhal merge PRs?
@jpvanhal I understand that life can get busy. Do you want someone else to maintain this project? Or at least delegate merge authority?