1. 108ceb4 ART: Boolean simplifier fix by Serguei Katkov ยท 9 years ago