Rafael Weinstein 3ff92950d8 Revert removal of |last| from Commit() (#3531)

2017-06-09 11:20:45 -07:00

..

noms

Revert removal of |last| from Commit() (#3531)

2017-06-09 11:20:45 -07:00

util

Revert "Introduce noms version 8. Use it to guard type simplification." (#3043)

2017-01-09 16:30:25 -08:00