Vladimír Čunát c4661e9643 Merge: make dev output references explicit
This is a rebase of most commits from #14766,
resolving conflicts and a few other evaluation problems.
2016-05-22 12:09:23 +02:00
..
2016-02-26 22:15:41 +00:00
2015-11-15 03:41:39 +08:00
2016-03-09 15:25:53 -03:00
2016-03-10 12:31:05 +00:00
2014-03-10 15:01:56 +01:00
2016-02-26 22:15:40 +00:00
2016-05-19 01:26:04 +03:00
2016-02-26 22:15:41 +00:00