mirror of
https://git.savannah.nongnu.org/git/lwip.git
synced 2025-08-13 18:04:40 +08:00

Doxygen 1.8.15 doesn't like if the name of reference is followed by anything else than (selected?) punctuation or whitespace. bug #56004