tree ead23b4e89c87dd5ad281c15025c1eb149f98632
parent aa813d417bf89910d9f6944357314fa3a1280e56
parent c25034710ede8eb7e177e8a7426817b6a29e5440
author Michael Figurnov <mfigurnov@google.com> 1528383258 +0100
committer Michael Figurnov <mfigurnov@google.com> 1528383258 +0100

Merge from eigen/eigen.