1
0
mirror of https://github.com/postgres/postgres.git synced 2025-08-28 18:48:04 +03:00

Fix whitespace

This commit is contained in:
Peter Eisentraut
2016-04-11 14:44:51 -04:00
parent 6c7b0388c5
commit d8ed83cd7f
5 changed files with 4 additions and 6 deletions

View File

@@ -253,7 +253,7 @@ GetUserMapping(Oid userid, Oid serverid)
*
* If missing_ok is true, the function returns InvalidOid when it does not find
* required user mapping. Otherwise, find_user_mapping() throws error if it
* does not find required user mapping.
* does not find required user mapping.
*/
Oid
GetUserMappingId(Oid userid, Oid serverid, bool missing_ok)