renard pushed a change to branch devel-tetsuo-2to3check. was d33eb66 Merge branch 'master' of ssh://git.sv.gnu.org:/srv/git/getfem into devel-tetsuo-2to3check
The revisions that were on this branch are still contained in other references; therefore, this change does not discard any commits from the repository.