Conversation
|
Let's see if closing & reopening the PR will force Jenkins to re-run the pipeline. |
|
Thanks for your pull request, @wilzbach! We are looking forward to reviewing it, and you should be hearing from a maintainer soon. Some things that can help to speed things up:
Bear in mind that large or tricky changes may require multiple rounds of review and revision. Please see CONTRIBUTING.md for more information. Bugzilla referencesYour PR doesn't reference any Bugzilla issue. If your PR contains non-trivial changes, please reference a Bugzilla issue or create a manual changelog. |
I just noticed that quite many traits aren't publicly documented, but listed in the booktable and on the other site, there are publicly documented ones, which aren't listed.
What's the story here? Were they maybe just accidentally set to public?
And what's the point behind
SharedInoutOf? What would be wrong withSharedOf!(InoutOf!int)?