angular-ui/angular-ui — pull request #216 by PeteAppleton (2012-10-03 10:02:00+00:00)
Title: Correction for issue with select2 plugin

Corrects problem with select2 plugin not functioning properly if options
repeated using data-ng-repeat attribute rather than ng-repeat