This patch was mistakenly posted on a Github account:
https://github.com/djmitche/lyx/commit/09632fab35acf9d1a7003a4055f7638ed2b613d9

The author's email is on his Github page.

Is this something to look at or forget?

Scott

Reply via email to