diff options
author | 2018-10-29 14:17:35 +0000 | |
---|---|---|
committer | 2018-11-13 11:18:30 +0000 | |
commit | c5cb2dd1e6c4159c90778ed132a922c5faf7a776 (patch) | |
tree | 5429ea9e4c251c873e533f82cffedd2bd94c0921 /debian/copyright | |
parent | 43ad3ffd45ef088d618022d66dcf91c578227f93 (diff) |
Update control and symbols to 18.11
Change-Id: I01cd48a4dfefabd7bc2d7cd88166887af9bb7d79
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>
Diffstat (limited to 'debian/copyright')
0 files changed, 0 insertions, 0 deletions