Add warning when it looks like there's duplicate FOLLOW_OBSERVERS
authorKarl O. Pinc kop@karlpinc.com <kop@karlpinc.com>
Wed, 1 Oct 2025 22:16:42 +0000 (22:16 +0000)
committerKarl O. Pinc kop@karlpinc.com <kop@karlpinc.com>
Thu, 2 Oct 2025 16:37:58 +0000 (16:37 +0000)
commit32d503f892e9927e40b4b2df4846ac76eca6df69
treef4d7300bbc39ebbb2283fa455cf97a27d532a0e9
parent45577c405b4188a0e758a31b36ffd637cbe0ee6b
Add warning when it looks like there's duplicate FOLLOW_OBSERVERS
doc/src/tables/follow_observers.m4