@pkra I was trying to be helpful when I made these minor commits in November. Changes you made in February have invalidated one of them, and it would now be easier just to redo it all. Before I spend time on that, however, I would like to know whether or not you actually accept pull requests in this repository.
@pkra I was trying to be helpful when I made these minor commits in November. Changes you made in February have invalidated one of them, and it would now be easier just to redo it all. Before I spend time on that, however, I would like to know whether or not you actually accept pull requests in this repository.