Tell us about a Lean package that no longer builds. Requests are public issues on our repository, so you can see the whole queue and follow yours.
This form needs JavaScript to check our census and compose the issue. You can file the request directly on GitHub instead — same queue.
owner/name