tree d79763c024e2dc910e114325c497f002f3187875
parent 88ed04cc093d345d27b34cfcd0db240a45a3d21d
author Julian Hyde <julianhyde@gmail.com> 1400744469 -0700
committer Julian Hyde <julianhyde@gmail.com> 1400744469 -0700

EnumerableDefaults.first(Enumerable) now closes the enumerator.