Checkout Tools
  • last updated 5 hours ago
Constraints
Constraints: committers
 
Constraints: files
Constraints: dates
* publish/docs/release-notes/1.12.html: Remove WIP notice, now 1.12 is released.

Thanks to Paul Cameron for pointing it out.

publish: merge from staging
  1. … 1 more file in changeset.
publish: merge from staging
  1. … 1 more file in changeset.
publish: merge from staging

  1. … 1 more file in changeset.
* publish: merge from staging

  1. … 1 more file in changeset.
* docs/release-notes/1.12.html

(github-issue): Remove. Issue was resolved by Github end of December 2018.

* publish/docs/release-notes/1.12.html: New.

* publish/docs/release-notes/index.html: Add a placeholder entry for 1.12.

  1. … 1 more file in changeset.