  Joe SchaeferandEric Freese
|
11d17e7fea
|
Clear POSTDISPLAY instead of unsetting
We don't have any particular reason to unset. Clearing should be good
enough, and avoid any errors using unset parameters.
Cherry-picked from PR #634
|
2023-09-07 09:54:04 -06:00 |
|