洪 民憙 (Hong Minhee) @hongminhee@hollo.social · Reply to 洪 民憙 (Hong Minhee)The pull request is merged now: https://w3id.org/fep/f799. w3id.orgCookie monster!