Merge from upstream#3
Merged
ghedwards merged 72 commits intocfmleditor:masterfrom cflint:masterNov 20, 2019
+3,959-2,409
Commits
Commits on Oct 8, 2018
- committed
- committed
- committed
- committed
- committed
Commits on Oct 9, 2018
Commits on Sep 11, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
#592 -- support getting the line number right when the reporting happens later when the original context is forgotten.
committed- committed
Commits on Sep 15, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 16, 2019
- committed
- committed
- committed
- committed
- committedRichard Steinbrück
- committedRichard Steinbrück
- committedRichard Steinbrück
- committedRichard Steinbrück
- committedRichard Steinbrück
- committedRichard Steinbrück
- committedRichard Steinbrück
- committedRichard Steinbrück
Commits on Sep 17, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 15, 2019
Commits on Nov 16, 2019
Commits on Nov 18, 2019
Commits on Nov 19, 2019
- committed
- committed
- committed
- committed
- committed