On 18/09/15 02:59, Sachin Chitta wrote:
> The MoveIt! webpage has been moved to use github-pages, thanks to help from
> MoveIt! user Praveen Singh. This makes it easier to maintain (the old
> webpage setup based on Wordpress was outdated and broken).
>
> As a result of this move, the old MoveIt! wiki no longer exists. We do have
> a backup of it and can move information over if needed. The documentation
> in the Wiki was outdated, so please let me know if there's particular parts
> of the Wiki that should be ported over.
Can we setup a redirect from the old pages to the new one?
Or at least to a page explaining this change? I expect a lot of people
who not frequent this mailing list to be thoroughly confused about this.