Devbuilds list web-page not updated properly

[matze]

10:11 AM <Ollie> Would you know why the latest development build of IE is not showing up here: https://downloads.adblockplus.org/devbuilds/adblockplusie/. The latest one is 1.4.798, and it is available from both: https://adblockplus.org/devbuilds/adblockplusie/00latest.exe and https://downloads.adblockplus.org/devbuilds/adblockplusie/adblockplusie-1.4.798.exe
10:18 AM <matze> when has the latest build been published?
10:18 AM <Ollie> About 2 weeks ago
10:19 AM <matze> ok so no chance there's just a job not run or done yet :)

[fhd]

Unfortunately, this logic is in a local script I have here, that nobody else has. Yes it's true, you can stop laughing now. So, I guess only I can fix it :/

[matze]

I was already doubting my grep and regex skillset!

[fhd]

OK, this is fixed. I was in fact missing the one step I didn't automate: Removing the revision from nightlies.ini on the server. Made the script tell me about this, so I won't forget next time.

(The code used for generating the update manifest and all that is part of the nightly build mechanism, but we do not actually perform nightly builds for IE, so I have to kick it off manually. Yes, we need a proper build server.)