Skip to content

fix triple issues with revert, and add logatom triples

Ralf Jung requested to merge ralf/triples into master

This reverts commit bfb57e8b to fix the problem reported at !797 (comment 81110).

To sweeten the deal I also added logically atomic triples. ;)

Merge request reports