a12095a Merge pull request #427 from jniederm/console-edit-gap

2 files Merged by Marek Libra 6 years ago, Committed by GitHub 6 years ago,
    Merge pull request #427 from jniederm/console-edit-gap
    
    Space Console-Edit button without important