tree 6b124d039b3acb0f510de8c4b3d54eb8db858975
parent ec5ab1482d3373052784ae5c49d96d8b5cdd139d
parent cbf498eb534c5a41c2c4fa5681d18e22d93b8fb4
author Junio C Hamano <gitster@pobox.com> 1702937412 -0800
committer Junio C Hamano <gitster@pobox.com> 1702937412 -0800

Merge branch 'jb/reflog-expire-delete-dry-run-options'

Command line parsing fix for "git reflog".

* jb/reflog-expire-delete-dry-run-options:
  builtin/reflog.c: fix dry-run option short name