Fix straggler
authorAlvaro Herrera <alvherre@alvh.no-ip.org>
Tue, 12 May 2020 20:15:55 +0000 (16:15 -0400)
committerAlvaro Herrera <alvherre@alvh.no-ip.org>
Tue, 12 May 2020 20:15:55 +0000 (16:15 -0400)
commit87c291e29d6bf403c6adefd81ddafa134c254a3e
tree6e3694f8ac34b1eaf127d1c05b6d567038cf2a95
parent3e9744465dbe51822c7d76baca1f934d54ba9452
Fix straggler

contrib/pgcrypto did contain an unedited fall-through marker after all.
contrib/pgcrypto/pgp-info.c