Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
The ‘Change page name.’ feature doesn't work on some pages with odd names, such as Connes' cyclic category. (Be sure to cancel your edit after checking this for yourself.)
After I posted this, I realised that this is just the sort of bug report to send to Jacques. So I did, and he fixed it!
1 to 3 of 3