maint-23 mis-merged yesterday

Wed May 27 10:27:11 CEST 2020

Hi,

Yesterday I have merged some code to branch maint-23 of OTP repo in github by mistake, they were not needed for that branch. Now it has been reset to original state. The time with differed state of that branch was between 2020-05-26 11:08:46 (CET) and 2020-05-26 13:55:57 (CET). Please do a rebuild if you build OTP maint-23 during this time slot.

Sorry for any inconvenience caused!

Best regards,
Andy

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20200527/d2bb209b/attachment.htm>