HomePhabricator

Merge pull request #1845 from Diapolo/fix_1843
1da09ab06211Unpublished

Unpublished Commit ยท Learn More

Repository Importing: This repository is still importing.

Description

Merge pull request #1845 from Diapolo/fix_1843

fix #1843 by changing 2 GUI shortcuts

Details

Provenance
Wladimir J. van der Laan <laanwj@gmail.com>Authored on Sep 21 2012, 19:59
schancelPushed on Jan 5 2018, 21:58
schancelPushed on Jan 5 2018, 21:39
schancelPushed on Jan 5 2018, 21:17
Parents
rSTAGINGda9413d9134a: fix #1843 by changing 2 GUI shortcuts
rSTAGINGe96a8c7d8620: Merge pull request #1793 from Diapolo/fix_signed_unsigned_strprintf
Branches
Unknown
Tags
Unknown

Event Timeline

Wladimir J. van der Laan <laanwj@gmail.com> committed rSTAGING1da09ab06211: Merge pull request #1845 from Diapolo/fix_1843 (authored by Wladimir J. van der Laan <laanwj@gmail.com>).Sep 21 2012, 19:59