]>
2020-12-23 | bors[bot] | Merge #7000 | blob | commitdiff | raw |
2020-12-22 | bors[bot] | Merge #6964 | blob | commitdiff | raw |
2020-12-22 | bors[bot] | Merge #7001 | blob | commitdiff | raw |
2020-12-22 | bors[bot] | Merge #7005 | blob | commitdiff | raw |
2020-12-22 | bors[bot] | Merge #7002 | blob | commitdiff | raw |
2020-12-22 | bors[bot] | Merge #6993 | blob | commitdiff | raw |
2020-12-22 | RĂ¼diger Herrmann | Clean up descriptions for settings | blob | commitdiff | raw |
2020-12-10 | bors[bot] | Merge #6769 | blob | commitdiff | raw | diff to current |
2020-12-09 | bors[bot] | Merge #6771 | blob | commitdiff | raw | diff to current |
2020-12-09 | bors[bot] | Merge #6776 | blob | commitdiff | raw | diff to current |
2020-12-09 | Aleksey Kladov | Include config into the manual | blob | commitdiff | raw | diff to current |