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?
