3 Commits

Author	SHA1	Message	Date
Wladimir J. van der Laan	0fd7c4e6db	Merge #8955: doc: update 0.13.0 release note info on linux arm builds ... 83c0f7f trivial: update 0.13.0 release note info on linux arm builds (mruddy)	2018-01-12 09:58:14 +01:00
Wladimir J. van der Laan	fb8d46d44b	Merge #8879: [doc] Rework docs ... eeeebdd [doc] Rework docs (MarcoFalke)	2018-01-12 09:57:56 +01:00
Wladimir J. van der Laan	bb93f82351	doc: Add historical release notes for 0.12.1 0.13.0	2018-01-09 14:04:19 +01:00