mirror of
https://git.haproxy.org/git/haproxy.git/
synced 2025-10-28 23:20:59 +01:00
This patch is a direct follow-up to the previous one. Thanks to watcher type, it is not safe to assume that servers manipulated via stats dump were not targetted by a "delete server" CLI command. As such, prev_deleted list server member is now unneeded. This patch thus removes any reference to it.