On Jun 27, 2018, at 23:19, Andreas Schwab <schwab@suse.de> wrote:
$ git diff HEAD@{1}shows the difference between HEAD and the previous state of HEAD.