PatR 70b8bc04e7 fix recover ...

I tried to reproduce #812 so that I could check whether the suggested
fix worked but I discovered that external 'recover' was broken by the
coordxy changes.

The fix is trivial but I haven't gone back to #812.

2022-07-17 14:25:51 -07:00

11 KiB

Raw Blame History

View Raw