tree 7ba7b05c57d1570c39a44ab64d93816de5067145
parent 2c3b4b8fd8e6945084837da5c722e73622760c7f
author Hao Zhu <haozhu233@gmail.com> 1602102395 -0400
committer Hao Zhu <haozhu233@gmail.com> 1602102395 -0400

added header_separate function based on the suggestion in #541