ThomasV ecdb90b0b7 re-use pending_servers to avoid sending unnecessary notifications

2014-08-04 11:29:58 +02:00

15 KiB

Raw Blame History

View Raw