mirror of https://github.com/postgres/postgres
Coverity complained about an apparent missing "break" in a switch
added by bb140506df
. The human-readable comments are pretty
clear that this is intentional, but add a standard /* FALL THRU */
comment to make it clear to tools too.
pull/12/head
parent
5306df2831
commit
1630f5b92a
Loading…
Reference in new issue