Merge branch 'wp/doc-filter-direction' into maint
[git/kirr.git] / t / t5100 / msg0001
blobb275a9a9b21c762814ed09c0d3a6eb103aa59370
1 Here is a patch from A U Thor.