]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'js/pu-to-seen' into master
authorJunio C Hamano <gitster@pobox.com>
Sat, 18 Jul 2020 23:35:21 +0000 (16:35 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sat, 18 Jul 2020 23:35:22 +0000 (16:35 -0700)
Last minute fix-up to documentation.

* js/pu-to-seen:
  gitworkflows.txt: fix broken subsection underline


Trivial merge