[asl] 12/177: Merge branch 'develop' of https://gitlab.com/AvtechScientific/ASL-dev into develop

[Ghislain Vaillant]

This is an automated email from the git hooks/post-receive script.

ghisvail-guest pushed a commit to branch master
in repository asl.

commit 0bf451eeaf203ff538d9e9a4386aae88ddb728d4
Merge: 97345c9 7877899
Author: AvtechScientific <zeev at debtop>
Date:   Tue Jun 9 21:58:30 2015 +0300

    Merge branch 'develop' of https://gitlab.com/AvtechScientific/ASL-dev into develop


-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/asl.git