| [GitHub] [subversion] maddes-b opened a new pull request #22: [PATCH] fix check-mime-type.pl: also check property-modified files
From: GitBox <git_at_apache.org>
 Date: Mon, 07 Sep 2020 18:22:57 -0000 
maddes-b opened a new pull request #22:
    [[[
 ----------------------------------------------------------------
 For queries about this service, please contact Infrastructure at:
 | 
This is an archived mail posted to the Subversion Dev mailing list.
This site is subject to the Apache Privacy Policy and the Apache Public Forum Archive Policy.