Summary of changes:
7e047ab... Updated to 1.3.15 (alpha). (*)
1489112... Updated to 1.3.16 (alpha). (*)
d46eeb8... Updated to 1.3.17 (alpha). (*)
a8d5647... Updated to 1.4.0.
f767307... Merge branch 'master' into f28
(*) This commit already existed in another branch; no separate mail sent