On 2019-02-16 23:04, Christian Boltz wrote:
> You are reporting two issues that are (technically) completely
> different:
Right, sorry, I've done a mess here. Basically, timeline was that there was (is) problem with empty
profile with tools, and then I've tried to "fix it" by adding `profile foo {}", and noticed another
problem with whitespaces.
On 2019-02-16 23:04, Christian Boltz wrote:
> You are reporting two issues that are (technically) completely
> different:
Right, sorry, I've done a mess here. Basically, timeline was that there was (is) problem with empty
profile with tools, and then I've tried to "fix it" by adding `profile foo {}", and noticed another
problem with whitespaces.