Skip to content

[kaldi] Add new port#27545

Closed
day253 wants to merge 2 commits intomicrosoft:masterfrom
day253:kaldi
Closed

[kaldi] Add new port#27545
day253 wants to merge 2 commits intomicrosoft:masterfrom
day253:kaldi

Conversation

@day253
Copy link
Contributor

@day253 day253 commented Oct 29, 2022

Describe the pull request

If you are still working on the PR, open it as a Draft: https://github.blog/2019-02-14-introducing-draft-pull-requests/

@JonLiu1993 JonLiu1993 added the category:new-port The issue is requesting a new library to be added; consider making a PR! label Oct 31, 2022
@JonLiu1993
Copy link
Contributor

Pinging @day253 for response. Is work still being done for this PR?

@day253
Copy link
Contributor Author

day253 commented Dec 2, 2022

Pinging @day253 for response. Is work still being done for this PR?

sorry... The depends is #27542. I am learning to make port by autotool. Currently I works on #27922
another autotool port and it will finish soon.

@JonLiu1993
Copy link
Contributor

@day253, could you please fix the conflict files?

@JonLiu1993
Copy link
Contributor

Pinging @day253 for response. Is work still being done for this PR?

@JonLiu1993
Copy link
Contributor

Closing this PR since it seems that no progress is being made. Please ping us to reopen if work is still being done.

@JonLiu1993 JonLiu1993 closed this Mar 28, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

category:new-port The issue is requesting a new library to be added; consider making a PR!

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[New Port Request] kaldi

2 participants