Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

godot: mime, man pages file is missing #45917

Closed
Luciogi opened this issue Sep 5, 2023 · 5 comments · Fixed by #45975
Closed

godot: mime, man pages file is missing #45917

Luciogi opened this issue Sep 5, 2023 · 5 comments · Fixed by #45975

Comments

@Luciogi
Copy link
Contributor

Luciogi commented Sep 5, 2023

godot package has missing files

/usr/share/mime/packages/org.godotengine.Godot.xml
/usr/share/man/man6/godot.6
@Luciogi
Copy link
Contributor Author

Luciogi commented Sep 5, 2023

ping for maintainer @dataCobra

@dataCobra
Copy link
Contributor

Hey,

I'm not the maintainer but did work on the package in the last couple of month.

I had a surgery last week and because of this I'm not able to work on the package myself.

Could you try to find a person in one of the IRC Channels that could fix this? That would be great.

Regards
Ben/dataCobra

@Luciogi
Copy link
Contributor Author

Luciogi commented Sep 8, 2023

@dataCobra May you get well soon.
Thanks for response

@Luciogi
Copy link
Contributor Author

Luciogi commented Sep 8, 2023

you could tell me estimated compilation time for godot?

@dataCobra
Copy link
Contributor

dataCobra commented Sep 19, 2023

Heyho,

thanks for contributing. 🙂

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants