diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2019-08-06 10:07:36 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2019-08-06 10:07:36 +0200 |
commit | 378d94e51b00c30b19a39154278d01f1f3c4dbc1 (patch) | |
tree | 0c9ed3a1c1b6db778b05ad03fa8edd91cfb737f4 /NEWS | |
parent | d350d5e71434704d147b1252d21e46daf6bb9885 (diff) | |
parent | 6a5198170ed5f10e1eee2e25fc6a39f3f33a40fd (diff) | |
download | patches-378d94e51b00c30b19a39154278d01f1f3c4dbc1.tar patches-378d94e51b00c30b19a39154278d01f1f3c4dbc1.tar.gz |
Merge remote-tracking branch 'origin/master' into wip-texlive
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions