tree 09e0154931d0c512cea3c106bebbcf73f3a646a5
parent 5b9bfc892a39ad2e95ad7dc9131e777d8f38f587
author Gael Guennebaud <g.gael@free.fr> 1599054238 +0200
committer Gael Guennebaud <g.gael@free.fr> 1599054238 +0200

fix #1901: warning in Mode==(Upper|Lower)