Commit Graph

2 Commits

Author SHA1 Message Date
Pierre Krieger e12587b5ef Really fix #2652 this time (#3199)
* Really fix #2652 this time

* Other fixes

* Minor style fix
2019-07-25 10:09:39 +02:00
Pierre Krieger 3a6a309d84 Informant cleanup (#3194)
* Split informant in two

* Clean up imports

* Don't rely on saturated_into

* Add some documentation to the informant display
2019-07-25 10:51:38 +08:00