Changes between Initial Version and Version 1 of Ticket #8998, comment 13
- Timestamp:
- 2013-09-05T00:18:29+02:00 (11 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #8998, comment 13
initial v1 1 It seems there's a problem with the server's code that manages plugin list when external plugins thatchange their URL. It's a very recent thing that only happens with recent github plugins. Dirk, do you have any immediate idea on what needs to be fixed ?1 It seems there's a problem with the server's code that manages plugin list when external plugins change their URL. It's a very recent thing that only happens with recent github plugins. Dirk, do you have any immediate idea on what needs to be fixed ?