Closed frankielc closed 9 months ago
I already fixed that locally earlier today, before I wanted to publish the new docs. I was interrupted by the downtime of eclipse.dev, so I did not commit and push it yet.
Pushed. Thanks for closing this PR, because without you having signed the ECA (Eclipse Contributor Agreement) I could not have merged it anyway.
You also had already fixed it! ;) Great work you're doing on AspectJ. Many thanks!
Links pointing to eclipse.org were broken.