On 2020/01/14 13:12:54, Dan Eble wrote:
Harm, Do you want more time to consider this change, or are you now
comfortable with
my pushing it?
Since your primary concern was that modifying Global in a \layout block should still work, and my testing shows that it does, I'm going to push this. https://codereview.appspot.com/567050043/