backports for 3.8.2 #7907

New issue

Copy link

New issue

Copy link

Closed

Closed

backports for 3.8.2#7907

Copy link

Milestone

3.8.2

Description

Alizter

opened on Jun 6, 2023

Issue body actions

• Use threaded console, adapt for Windows #7906
• [coq] Fix coqlib file scanning. #7895
• fix(rpc): remove threads #7418
• test(melange): demonstrate melange.emit doesn't respect -p #7849
• chore: add changelog entry for #7849 #7925
• fix(coq): pass correct flags to coqdep when building boot libs #7942
• fix: correctly print multi-line excerpts #7950

Reactions are currently unavailable

Metadata

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

• 3.8.2

Relationships

None yet

Development

No branches or pull requests

Issue actions