mirror of
https://github.com/postgres/postgres.git
synced 2025-05-08 07:21:33 +03:00
(respectively) to rename yylex and related symbols. Some were doing it this way already, while others used not-too-reliable sed hacks in the Makefiles. It's all nice and consistent now.