mirror of
https://github.com/postgres/postgres.git
synced 2025-06-01 14:21:49 +03:00
This function has now grown enough cases that a switch seems appropriate. This results in a measurable speed improvement on some platforms, and should certainly not hurt. The code's in need of a pgindent run now, though. Andres Freund