Make the 1.2.0 release

Tasks

• Make any needed adjustments.
• Do the 1.2.0 release.
• Close the 1.2.0 milestone.

Time estimation

• Complexity: negligible (0.1 day)
• Uncertainty: low (x1.1)
• Reference (adapted)