Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
I have no strong opinion on the question regarding the default value. Merging it, thank you. If somebody thinks that it should be configured differently w/r to the default value, it can be changed later as well.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.