bors[bot] 9995e79cce
Merge #5414
5414: Fix test code lens r=jonas-schievink a=avrong

Closes #5217

The implementation is quite similar to #4821. Maybe we should somehow deal with duplicated code.

Also, both of these requests introduce some unclear behavior. I'm not sure how to process this, therefore asking for advice. Examples are below.
<img width="286" alt="image" src="https://user-images.githubusercontent.com/6342851/87713209-83595f80-c7b2-11ea-8c0f-a12e7571e7df.png">

Co-authored-by: Aleksei Trifonov <avrong@avrong.me>
2020-08-09 21:23:20 +00:00
..
2020-08-05 19:37:26 +02:00
2020-08-01 13:47:19 +02:00
2020-08-03 11:47:56 +00:00
2020-08-08 16:45:37 +00:00
2020-08-09 21:33:14 +08:00
2020-08-05 16:56:39 +00:00
2020-07-31 20:12:10 +02:00
2020-08-01 13:47:19 +02:00
2020-07-30 21:23:41 +00:00
2020-08-05 19:37:26 +02:00
2020-08-09 21:23:20 +00:00
2020-07-30 22:23:12 +02:00
2020-07-30 22:23:12 +02:00