Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
formula: fix safe navigation bug #3414
Safe navigation needs to be chained to preserve equivalence.
The symptom here is
which occurs any time a devel block is removed.