tree 8d7ae6caf3219ff0684ebefdb4df704649940836
parent 08f06e542d3f36cf1044f32fd7f84576fa2f324b
parent 722fc374914d4f9b37d42a8eda603eecb790f64c
author Junio C Hamano <gitster@pobox.com> 1602219206 -0700
committer Junio C Hamano <gitster@pobox.com> 1602219206 -0700

Merge branch 'js/no-builtins-on-disk-option'

Hotfix to breakage introduced in the topic in v2.29-rc0

* js/no-builtins-on-disk-option:
  help: do not expect built-in commands to be hardlinked