From: Shiro Kawai <xxxxxx@gmail.com>Date: Sunday, August 23, 2020 8:31 PMThis is a comment for the HEAD of John's repo.For set-file-owner, it may be good to have the way to leave either uid or gid unchanged. If we follow chown(2) it can be -1. #f may be another choice.