Skip to content
Snippets Groups Projects
Select Git revision
No matching results
An error occurred while fetching branches. Retry the search.
An error occurred while fetching tags. Retry the search.
Blame Permalink
  • Giovanni Bussi's avatar
    ec7ed170
    Fixed parse of cmd string · ec7ed170
    Giovanni Bussi authored 
    Before this fix, using cmd() with an erroneous string was triggering
no error. Now this is fixed.

Notice that this is an old bug (introduced in 0a46f15d).
It should be harmless when using MD codes with proper interfaces.
    ec7ed170
    History
    Fixed parse of cmd string
    Giovanni Bussi authored 
    Before this fix, using cmd() with an erroneous string was triggering
no error. Now this is fixed.

Notice that this is an old bug (introduced in 0a46f15d).
It should be harmless when using MD codes with proper interfaces.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.