|
From: Mojca M. <moj...@gm...> - 2017-10-24 00:53:38
|
23. okt. 2017 3:03 PM "Eric S. Raymond": Mojca Miklavec <moj...@gm...>: > No, the reason was probably that there were too many "junk tags". I can > push other tags if that helps in any way. Which tags can you identify? We'll probably want to patch them into the conversion. Just useless tags discussed a few days ago. Nothing useful to look into. Mojca |