Commit db0c66483decd65b0eda5bc8a08e34c1682b98a9

Patrick Steinhardt 2018-08-30T12:22:26

Merge pull request #4773 from RandomSort/giterr Document giterr_last() use only after error. #4772