- Restored .gitignore to 740863275ded68e88f5f4deef85370bf04f2fc8c version
  (was corrupted since).
Merge branch 'devIndex128' into index128