Thanks for the PR. Looks like a small and straightforward changed. Lets wait until the beginning of next week for eventual other comments.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.