Richard van der Hoff fa1b293da2
Simplification to Keyring.wait_for_previous_lookups. (#5250)
The list of server names was redundant, since it was equivalent to the keys on
the server_to_deferred map. This reduces the number of large lists being passed
around, and has the benefit of deduplicating the entries in `wait_on`.
2019-05-24 22:17:18 +01:00
..
2019-05-10 00:12:11 -05:00
2019-05-10 00:12:11 -05:00
2018-08-10 23:54:09 +10:00
2018-10-24 10:39:03 +01:00
2019-05-21 11:36:50 -05:00
2019-05-10 00:12:11 -05:00
2018-08-10 23:54:09 +10:00
2018-08-10 23:54:09 +10:00
2018-08-10 23:54:09 +10:00