doc/history: updated for the previous commit