---
Bug-Database: https://gitlab.com/libeigen/eigen/issues
Bug-Submit: https://gitlab.com/libeigen/eigen/issues/new
