Bump version to 0.23.80

Authored by kossebau on Nov 13 2017, 5:56 PM.