3 Commits

Author	SHA1	Message	Date
Amanieu d'Antras	c554b42b2a	Fix CI (#845) ... * Use ubuntu 18.04 instead of 18.10 for MIPS CI * Fix WASM CI	2020-03-29 15:15:59 +01:00
gnzlbg	226b3265c8	Format	2019-09-16 23:43:01 +02:00
gnzlbg	686b813f5d	Update repo name	2019-07-09 01:37:07 +02:00