Skip to content

fix: Fix overscrolling of rfc2html pre tags with new fonts - #5709

Merged
rjsparks merged 2 commits into
ietf-tools:mainfrom
larseggert:fix-overscroll
May 31, 2023
Merged

fix: Fix overscrolling of rfc2html pre tags with new fonts#5709
rjsparks merged 2 commits into
ietf-tools:mainfrom
larseggert:fix-overscroll

Conversation

@larseggert

Copy link
Copy Markdown
Collaborator

No description provided.

@larseggert

Copy link
Copy Markdown
Collaborator Author

Not sure where the CI failure comes from, seems unrelated?

@rjsparks

Copy link
Copy Markdown
Member

You must not be close to HEAD on main?
That was fixed in #5609

@larseggert

Copy link
Copy Markdown
Collaborator Author

I should be current?

@codecov

codecov Bot commented May 31, 2023

Copy link
Copy Markdown

Codecov Report

Merging #5709 (885b5f9) into main (d595aac) will increase coverage by 0.00%.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #5709   +/-   ##
=======================================
  Coverage   88.73%   88.74%           
=======================================
  Files         285      285           
  Lines       39852    39852           
=======================================
+ Hits        35362    35365    +3     
+ Misses       4490     4487    -3     

see 3 files with indirect coverage changes

@rjsparks
rjsparks merged commit e5dcc16 into ietf-tools:main May 31, 2023
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Jun 4, 2023
@larseggert
larseggert deleted the fix-overscroll branch June 5, 2023 07:43
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants