This supersedes #178 by @narasimhan-2604. I rebased it on master and reset the author to @narasimhan-2604 (a previous git squash had set the author to @marcfehling), and also removed the executable and other generated files.
None of this is my work, so I will take the liberty to merge this myself once it tests cleanly.
This supersedes #178 by @narasimhan-2604. I rebased it on master and reset the author to @narasimhan-2604 (a previous git squash had set the author to @marcfehling), and also removed the executable and other generated files.
None of this is my work, so I will take the liberty to merge this myself once it tests cleanly.