Merge pull request #174438 from r-ryantm/auto-update/clingo
clingo: 5.5.1 -> 5.5.2
authored by 7c6f434c and committed by GitHub 3 years ago ae0bca46 dbaadb89