Replies: 2 comments 2 replies
-
|
as you're about to see as soon as i finish typing, yes, github is a better place to file bugs because it's directly maintained by the folks who work on the ndk ... whereas google's own bug tracker is a weird place where public bugs are concerned. theoretically that bug should have been assigned to me (i just clicked "assign to default" to check that some configuration hadn't been lost, and that worked!) but for some reason it wasn't. i thought we'd changed the text over there to say "prefer github", but another problem over there is that there are too many similar-but-different places to file, and -- because we don't own the configuration in the same way we do the github configuration -- things do have a habit of changing under our feet :-( |
Beta Was this translation helpful? Give feedback.
-
|
ah, i see what happened --- you filed under frameworks because you were misled by the term "API documentation bugs" on https://github.com/android/ndk/issues. (that's just for Android API, not C/POSIX stuff.) and then when someone moved the bug to the correct component, they forgot that you have to manually click "assign to default" because why would the computer do that for you? /s reopening because @DanAlbert should probably clarify the bug template. |
Beta Was this translation helpful? Give feedback.
Uh oh!
There was an error while loading. Please reload this page.
-
I filed:
https://issuetracker.google.com/issues/412707575
2 months ago, but there hasn't been any activity. I'm wondering if this is the correct place to file this issue?
Beta Was this translation helpful? Give feedback.
All reactions