#80 (May 1, 2017, 9:02:33 AM)

1. updated public mirror link (details / bitbucketweb)
2. updated mirroring script (details / bitbucketweb)
3. updated mirroring script (details / bitbucketweb)
4. jenkins scripts and mirroring scripts (details / bitbucketweb)

Started by upstream project TransportMaps-private-master build number 80
originally caused by:

• Started by BitBucket push by dabi86
• Started by BitBucket push by dabi86

• refs/remotes/origin/master