latest version of editline has fixed the const-ness of the second el_push() param; cast is n longer needed
latest version of editline has fixed the const-ness
of the second el_push() param; cast is n longer needed

asvitkine/ccons,AugustusHuang/ccons,asvitkine/ccons,seltzered/ccons,seltzered/ccons,seltzered/ccons,AugustusHuang/ccons,AugustusHuang/ccons,asvitkine/ccons