17:37 amdmi3 

- Update to 3.3.rc3

PR:             134708
Submitted by:   Nikos Ntarmos <ntarmos@cs.uoi.gr> (maintainer)

16:42 amdmi3 

- Fix bashisms and eliminate (implicit) bash requirement

PR:             134477
Submitted by:   Guillermo Antonio Amaral Bastidas <gamaral at amaral dot com dot
mx>
Fix by:         Nikos Ntarmos <ntarmos at cs dot uoi dot gr> (maintainer)