Skip to content

Remove dealing with descr and url files#6253

Open
hannesm wants to merge 5 commits intoocaml:masterfrom hannesm:remove-descr-url