From: Heinrich Schuchardt <xypron.g...@gmx.de>
Date: Sun, 31 Jul 2016 11:53:57 +0200

> (!A || (A && B)) is equivalent to (!A || B)
> 
> Signed-off-by: Heinrich Schuchardt <xypron.g...@gmx.de>

Applied.

Reply via email to