Merge last patch from ast/ksh #14
Description
After 2020-02-14 (this repo's base) one freebsd 12 patch got merged into ast/ksh.
Task: syn with att/ast#1473
{{ message }}
After 2020-02-14 (this repo's base) one freebsd 12 patch got merged into ast/ksh.
Task: syn with att/ast#1473