thanks, the changed URL has been committed to the scripts that generate the index pages. The next publishing run (i.e., for 7.10 final) will reflect this change.
thanks, the changed URL has been committed to the scripts that generate the index pages. The next publishing run (i.e., for 7.10 final) will reflect this change.