Skip to content

Conversation

@Revathyvenugopal162
Copy link
Contributor

@Revathyvenugopal162 Revathyvenugopal162 commented May 22, 2023

@github-actions github-actions bot added the bug Defects or glitches reported by users or developers label May 22, 2023
@Revathyvenugopal162 Revathyvenugopal162 marked this pull request as ready for review May 22, 2023 13:08
@Revathyvenugopal162 Revathyvenugopal162 self-assigned this May 22, 2023
@Revathyvenugopal162 Revathyvenugopal162 merged commit b0cda21 into main May 22, 2023
@Revathyvenugopal162 Revathyvenugopal162 deleted the fix/toctree-height branch May 22, 2023 14:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Defects or glitches reported by users or developers

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Right-side menu overflows on top of bottom line

3 participants