Pull requests: sharkdp/bat
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Use cargo's
strip option to remove symbols+debuginfo from the binaries
#2506
opened Mar 16, 2023 by
nickelc
Loading…
Make Progress on this PR is blocked mostly because we are waiting on the author of the PR to do something
PrettyPrinter::header an alias for header_filename
waiting-on-author
#2406
opened Nov 19, 2022 by
cstyles
Loading…
ProTip!
Adding no:label will show everything without a label.