> Kolter, Andreas writes:
> Sorry, I don't understand how to file a bug properly. Nontheless I
> want to report this one because it is still in the code after so many
> years.
Thanks. This is now fixed in the trunk with c74916.
Best
-k
> This bug still exists:
>
Sorry, I don't understand how to file a bug properly. Nontheless I want to
report this one because it is still in the code after so many years.
This bug still exists:
https://stackoverflow.com/questions/15871702/difficulties-with-agrep-fixed-f
[[alternative HTML version deleted]]
