Avoid double flagging for non-optional values having "notnull" specified.
Previously, there was a complaint from "notnull" and one from "no…
Show more
Avoid double flagging for non-optional values having "notnull" specified.Previously, there was a complaint from "notnull" and one from "not optional"
Show less
