[sr-dev] $ai does not work

[Juha Heinanen]

Daniel-Constantin Mierla writes:

 > If this is ok, I can merge it to sr_3.0 and master. If you prefer the 
 > case approach, then you have to import it from K 1.5.

this is ok.

 > You can import my patch in sr_3.0 via:
 > 
 > git fetch origin
 > git cherry-pick -x 78f069c3726085902101a55d3bb98f0be7549b60
 > 
 > The patch I did should fix the PPI header as well.

i'll do it and test.

thanks,

-- juha