R devel - Jun 2018 - agrep bug

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]]

>>>>> 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:
>
https://stackoverflow.com/questions/15871702/difficulties-with-agrep-fixed-f
> 	[[alternative HTML version deleted]]
> ______________________________________________
> R-devel at r-project.org mailing list
> https://stat.ethz.ch/mailman/listinfo/r-devel