Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Release: 13.8.1 #10112

Merged
merged 4 commits into from
Feb 26, 2023
Merged

Release: 13.8.1 #10112

merged 4 commits into from
Feb 26, 2023

Conversation

syuilo
Copy link
Member

@syuilo syuilo commented Feb 26, 2023

No description provided.

@github-actions github-actions bot added the packages/frontend Client side specific issue/PR label Feb 26, 2023
@codecov
Copy link

codecov bot commented Feb 26, 2023

Codecov Report

Merging #10112 (81e6a21) into master (cf95022) will decrease coverage by 0.01%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master   #10112      +/-   ##
==========================================
- Coverage   25.06%   25.06%   -0.01%     
==========================================
  Files         705      705              
  Lines       65151    65151              
  Branches     2307     2307              
==========================================
- Hits        16331    16329       -2     
- Misses      48820    48822       +2     
Impacted Files Coverage Δ
packages/backend/src/misc/secure-rndstr.ts 90.47% <0.00%> (-9.53%) ⬇️

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

@syuilo
Copy link
Member Author

syuilo commented Feb 26, 2023

変更内容が軽微なのと、緊急度が高いのでマージ

@syuilo syuilo merged commit 647ce17 into master Feb 26, 2023
@tamaina
Copy link
Contributor

tamaina commented Feb 26, 2023

結局PRテンプレート適用されてないし…

@syuilo
Copy link
Member Author

syuilo commented Feb 26, 2023

結局PRテンプレート適用されてないし…

これ謎

@tamaina
Copy link
Contributor

tamaina commented Feb 26, 2023

GitHubのおせっかいで、デカデカと表示されている緑色のショートカットボタンを押すと、テンプレート選択が省略されてしまうっぽい?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
packages/frontend Client side specific issue/PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants