bors 4f437099d8 Auto merge of #1202 - RalfJung:symbols, r=RalfJung
switch extern_statics map to symbols, and use FxHashMap everywhere

Cc @eddyb
2020-03-02 21:37:08 +00:00
..
2020-03-02 22:10:48 +01:00
2020-03-02 22:36:15 +01:00
2020-01-09 12:42:56 +01:00
2020-03-02 13:51:08 +01:00
2020-03-02 22:36:15 +01:00
2020-03-01 10:29:05 +01:00
2020-03-02 22:36:15 +01:00
2020-03-02 22:36:15 +01:00
2020-03-01 10:29:05 +01:00
2019-12-23 12:56:23 +01:00
2020-03-02 22:36:15 +01:00