Same with `cl-notany` and `cl-acons` (using 24.2). I am not sure why that is. On 24.2.93 and 24.3.50 there are no warnings related to this patch. I will check tomorrow whether I can figure out what is going on.