名前: HY 日時: 2012-05-03 21:53:42 IPアドレス: 125.2.138.*
自動なのか手動なのか、あるいは半々の仕組みなのか、 そもそもここに書いてよいやらわからないのですが、 w32tex.orgの更新履歴について、気づいた点を報告します。 ChangeLogでは"web2c-w32.tar.xz"が更新されたと記載されているのに対して、 サーバーでは"web2c-lib.tar.xz"の方が更新されているようです。 本日05/03のlogがそうなっています。 先月（？）にも一度、同じ不具合があったように記憶しております。
この書き込みへの返事：