[Getfem-commits] [getfem-commits] branch master updated: minor fixes

This is an automated email from the git hooks/post-receive script. renard pushed a commit to branch master in repository getfem. The following commit(s) were added to refs/heads/master by this push: new c42e6d2e minor fixes c42e6d2e is described below commit

[Getfem-commits] [getfem-commits] branch master updated: towards release 5.4.2

This is an automated email from the git hooks/post-receive script. renard pushed a commit to branch master in repository getfem. The following commit(s) were added to refs/heads/master by this push: new 3ca72e10 towards release 5.4.2 3ca72e10 is described below commit