We're merging develop into master to have master be up-to-date. Once this is completed, we'll delete the previous branch and keep a single one for the "current" state of the repository.
This was initially to be done in #117, but that PR was created from develop into master. Unfortunately, manual git operations were required to synchronize these branches.
We're merging
develop
intomaster
to havemaster
be up-to-date. Once this is completed, we'll delete the previous branch and keep a single one for the "current" state of the repository.This was initially to be done in #117, but that PR was created from
develop
intomaster
. Unfortunately, manual git operations were required to synchronize these branches.