Closed njgheorghita closed 6 years ago
Makes a couple changes that were suggested in the discussion of #72. Should make #72 ready to merge.
Makes a couple changes that were suggested in the discussion of #72. Should make #72 ready to merge.