diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-26 00:28:02 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-05-26 00:28:02 +0100 |
commit | 8483fb0f269c819cf0970c25cf81660622f1d763 (patch) | |
tree | 67cf42ced1ace4919f051204f14f2f09cc2e8c4c /docs/dev | |
parent | 5587d0a3e3599063a8993e9a44a7628abbabae8b (diff) | |
parent | 8960a0895126d1e964cb7488233b2c665a5bd0db (diff) |
Merge #8996
8996: Fix bug where library functions were not highlighted as such r=arzg a=arzg
Sorry about forgetting to test this in my last PR.
Co-authored-by: Aramis Razzaghipour <[email protected]>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions