Skip to content

chore: Remove unused agenda_timezone.js - #5388

Merged
rjsparks merged 1 commit into
ietf-tools:mainfrom
larseggert:chore-del-agenda_timezone
Mar 21, 2023
Merged

chore: Remove unused agenda_timezone.js#5388
rjsparks merged 1 commit into
ietf-tools:mainfrom
larseggert:chore-del-agenda_timezone

Conversation

@larseggert

Copy link
Copy Markdown
Collaborator

No description provided.

@codecov

codecov Bot commented Mar 21, 2023

Copy link
Copy Markdown

Codecov Report

Merging #5388 (27cca0f) into main (28e18be) will increase coverage by 0.00%.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #5388   +/-   ##
=======================================
  Coverage   88.80%   88.80%           
=======================================
  Files         284      284           
  Lines       39503    39503           
=======================================
+ Hits        35079    35080    +1     
+ Misses       4424     4423    -1     

see 3 files with indirect coverage changes

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@rjsparks
rjsparks merged commit 3865d52 into ietf-tools:main Mar 21, 2023
@larseggert
larseggert deleted the chore-del-agenda_timezone branch March 21, 2023 13:54
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Mar 25, 2023
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