aboutsummaryrefslogtreecommitdiff
path: root/kernel
diff options
context:
space:
mode:
authorcoqbot-app[bot]2020-12-28 16:47:16 +0000
committerGitHub2020-12-28 16:47:16 +0000
commit942fb01934b02181fd3a88d80fc870f8d4900d2c (patch)
tree249a05c091ff076492e63739bc05038efe244b9a /kernel
parentba0a277568182c205ad411986598632bb341f2d9 (diff)
parent6e2b31ab0ec22c04f8987b4eb54d6ba7bbdee4c4 (diff)
Merge PR #13665: Set Python's default output encoding to utf-8
Reviewed-by: Zimmi48 Ack-by: palmskog
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions