rfcbot

[ home ]

petrochenkov's proposals for review

• merge: Add a new `--build-id` flag to rustc
  • proposal | checklist
• merge: Support overriding `warnings` level for a specific lint via command line
  • proposal | checklist