Beman ecce3f06d7 Revert "Merge branch 'avdv-fix-5403' into develop"
This reverts commit eaa5f27fc1, reversing
changes made to 23d2fcb9e0.

Although the changes made by the pull request fixed the presenting symptom, the lack of an "always makes progress" invariant is the real problem. The plan is to attack the lack of invariant first, then make further changes are needed.
2014-07-20 09:15:17 -04:00
2011-07-26 16:05:10 +00:00
Description
Mirrored via gitea-mirror
14 MiB
Languages
C++ 98.4%
CMake 1.5%