On 2017-04-28 11:04, Stefan Bodewig wrote:
Not really. But we need to update the log4net website. I'll see to it later today.
Great! I planned to do that this evening around 22:00 CET, but the kids are probably going to interfere with these plans. :-D
We should probably hold back deleting it for something like two weeks and say so when we ask people to move the PRs.
Agreed.
