Open MauScheff opened 3 years ago
When using a custom environment and accessing context names, it returns undefined. This leads to inconsistencies.
When using a custom environment and accessing context names, it returns undefined. This leads to inconsistencies.