4.2.1 protected

Lin, Kuo-wan

@klin

f199915f · Merge branch 'ci_docker' into 'master' · Nov 19, 2021

Merge bug fixes/updates into master.