jrgemignani commented on issue #1455: URL: https://github.com/apache/age/issues/1455#issuecomment-1935204164
@maehara-n I have created PR #1582 to add in those files. Please check that PR out locally to see if it corrects your issue. Please understand that it still needs to be reviewed and approved by others on the team. There is no guarantee that they will necessarily agree with providing files that can be built by the user. By verifying that this PR corrects the issue for you, it may help with consideration. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: dev-unsubscr...@age.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
