2022-09-21 UTC
# 
[tantek]4 In general it's a better practice to separate PRs for unrelated changes like that, especially on collaborative projects. If it's purely/primarily your own personal project, you’re only risking the annoyance of your future self (who could be quite judgmental)