Hello,
Marc, Niels
If that patches are fine, I would be very appreciated if you help to
commit one of them.
Thanks,
-Pavel
On 02/08/2016 02:52 PM, Pavel Kopyl wrote:
Hello,
Of course there are several ways how to make this check.
But, selecting between
"[[ ]]_gurkmacka" (SPACE+TAB)
and
"[[[:blank:]]]_gurkmacka"
it seems for me that the last solution is more clear.
Any way, if there are no objections let's select and commit one of them.
> "gurkmacka" means "cucumber sandwich"
:-)
Best regards,
-Pavel
On 01/26/2016 09:17 PM, Niels Möller wrote:
Marc Glisse <[email protected]> writes:
IIRC, \<\> is not a
standard feature of grep but a GNU extension.
Maybe it's good enough to grep for " _gurkmacka", i.e., with a leading
space. Or maybe allow a TAB character too.
For non-swedish speakers, "gurkmacka" means "cucumber sandwich". ;-)
Regards,
/Niels
_______________________________________________
gmp-bugs mailing list
[email protected]
https://gmplib.org/mailman/listinfo/gmp-bugs
