Dave Halter 818fb4f60c Fix a bug that might have caused an endless while loop a while ago. Fixes #878.

2017-03-09 21:47:16 +01:00

23 KiB

Raw Blame History

View Raw