Commit Graph

705 Commits

Author SHA1 Message Date
Bernd Lörwald ef84a51e30 [FORMAT CHANGE] let annotations be a comma-separated list 2018-03-18 21:43:36 +01:00
Martin Benjamins 4d7b918b58 Merge 8.0.1.26231 defs 2018-03-16 10:49:46 +01:00
Martin Benjamins 44ae13d974 Final merge 2018-03-14 11:26:12 +01:00
Martin Benjamins b875e10771 Clearly mark non-inline IDs 2018-03-05 10:50:07 +01:00
Martin Benjamins c9c92466fd Add 8.0 defs 2018-03-04 16:04:03 +01:00