mirror of https://github.com/postgres/postgres
The second check was added bypull/157/headd57b7cc33without taking into account there is already a check sinceb0f7dd915. Reported-by: Ashutosh Bapat, Alexander Lakhin Discussion: https://postgr.es/m/CAExHW5sBZWDjeBUFs_ehEDM%2BuhWxTiBkPbLiat7ZjWkb-DWQWw%40mail.gmail.com
parent
fcd210d496
commit
75bcba6cbd
Loading…
Reference in new issue