]> git.99rst.org Git - git.git/commitdiff
Merge branch 'rj/compat-terminal-unused-fix'
authorJunio C Hamano <redacted>
Tue, 10 Sep 2024 20:16:41 +0000 (13:16 -0700)
committerJunio C Hamano <redacted>
Tue, 10 Sep 2024 20:16:42 +0000 (13:16 -0700)
Build fix.

* rj/compat-terminal-unused-fix:
  compat/terminal: mark parameter of git_terminal_prompt() UNUSED


Trivial merge
git clone https://git.99rst.org/PROJECT