Commit Graph

2 Commits

Author SHA1 Message Date
Christian Grothoff
85e22419c9
fix issue with 'meta' not being initialized - by getting rid of it 2018-10-13 18:08:51 +02:00
Marcello Stanisci
feec78dd56
Implementing #5306. 2018-06-20 22:16:24 +02:00