Christian Rinderknecht 4730df6ea1 Merge branch 'rinderknecht-dev' into 'dev'
Forbidding empty patches (records, maps, sets)

See merge request ligolang/ligo!148
2019-10-23 10:06:26 +00:00
..
2019-09-26 19:30:17 +02:00
2019-10-07 16:54:28 +02:00
2019-10-17 16:34:02 +02:00
2019-10-17 11:45:27 +02:00
2019-10-22 20:24:05 -07:00