log make-debian-package @ 60:d0b83fc1d62a default tip

age author description
Mon, 04 May 2020 18:37:34 -0700 David Barts Merged changes.
Sun, 03 May 2020 16:15:10 -0700 David Barts Update Building instructions; minor build system bug fixes.