diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-31 17:20:53 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-08-31 17:20:53 +0100 |
| commit | 148a60b0757d3c741681a68c86b665ea026a127a (patch) | |
| tree | 24c836e944c2a24b63ecd2fc3c45df6730b09236 /crates/hir_def/src/docs.rs | |
| parent | 753af410056937d7be3a1b3457c834a887288957 (diff) | |
| parent | 79337095c1ae70ba941812b741198cc6aaf5602b (diff) | |
Merge #5921
5921: Don't publish every day and do it only for release r=matklad a=pksunkara
I think this is a good balance.
Co-authored-by: Pavan Kumar Sunkara <[email protected]>
Diffstat (limited to 'crates/hir_def/src/docs.rs')
0 files changed, 0 insertions, 0 deletions