pr3177のv16の修正をv17に反映

[KenichiroTanaka]

@noborus さん
v16の修正をマージしてしまったので、本PRを作成したのですが、
他のv16の修正と一緒にマージされるために不要だったりしますでしょうか？

[noborus]

16の修正をフォワードポートされる箇所だったので、やらなくても大丈夫でした。
17で同じ変更をするのは問題ないのですが、16と17で原文の変更がない箇所で日本語訳を違う修正にしていた場合は16の内容で上書きされます。
また、懸念事項としては、17の翻訳がまだのファイルは pg164tail2タグとの相違が増える（doc_ja_16の最新と比較する必要がある）のと、pull requestする前にdoc_ja_17を更新しておかないとその分のマージが必要になることです。
プログラムだと普通ですが、現在のように他のファイルの更新があまり関係ない場合はdoc_ja_17をpullするのを忘れていることがあります。

[KenichiroTanaka]

@noborus さん
回答ありがとうございました。
ではこのPRはクローズしてしまいます。