Merge branch 'jc/allow-strlen-substitution-in-shell-scripts'
authorJunio C Hamano <gitster@pobox.com>
Wed, 22 Apr 2020 20:42:48 +0000 (13:42 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 22 Apr 2020 20:42:48 +0000 (13:42 -0700)
commit7d28d691749a9c37aa1f490454f1d2c8a285e672
treedb766d2b9f99b6b16340c0fe74e774ce60e6a413
parentdfdce31ce6c9c4d7266031ea70f982e7f22bb525
parent78725ebda9577ec86a9657d20b8ee8c2a099601d
Merge branch 'jc/allow-strlen-substitution-in-shell-scripts'

Coding guideline update.

* jc/allow-strlen-substitution-in-shell-scripts:
  CodingGuidelines: allow ${#posix} == strlen($posix)
Documentation/CodingGuidelines