reutenauer/polyglossia — pull request #43 by eroux (2013-05-17 15:13:34+00:00)
Title: Small optimization

If it's not too late for next upload...