logic-4, bugfix branches

al davis <[email protected]> Wed, 5 Aug 2020 19:53:07 -0400

Newsgroups	gmane.comp.gnu.gnucap.devel
Message-ID	<20200805195307.29e72d1f@z>

I think these branches are ready for merge.
Please check.  If no objections, they will be merged to develop.

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.