>>>>> "Peter" == Peter Korsgaard <peter at korsgaard.com> writes: > There is no need to get both the key and the value out of the dict if the > key is not used, so use dict.values() instead. > Signed-off-by: Peter Korsgaard <peter at korsgaard.com> Committed, thanks. -- Bye, Peter Korsgaard