On 26.01.2023 09:15, Riccardo (Jack) Lucchetti wrote:
On Thu, 26 Jan 2023, Marcin Błażejowski wrote:
> Hi,
>
> the solution was simpler that I thought: the problem was that
> print_NR_status() did verify 'set messages on/off' , but did not
> checked for 'set warnings on/off'. The patch in attachment.
Marcin,
of course in this case this is not a problem, because the patch is
quite small and one can easily see what's going on, but generally
speaking you may want to add the -w flag to "diff" (or "git diff") to
suppress lines where changes only involve whitespace.
Ok, I'll remember!!!
Marcin
--
Marcin Błażejowski