Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
Revert "use more modern FALLBACK instead of .^add_fallback"
This Fallback mechanism seems not reliable in all cases. Reverting this should make a5496e0 obsolete too. This reverts commit 20c3ae3.
- Loading branch information