diff options
| author | Lucio Andrés Illanes Albornoz (arab, vxp) <lucio@lucioillanes.de> | 2018-02-25 11:36:46 +0000 |
|---|---|---|
| committer | Lucio Andrés Illanes Albornoz (arab, vxp) <lucio@lucioillanes.de> | 2018-02-25 11:36:46 +0000 |
| commit | 76f7b77b2e14f324b1f78bcf97be581a0bf670cb (patch) | |
| tree | e13abbde75d6c6afa545ce89b5e4464d1a809c22 /patches/bdwgc_pre.local.patch | |
| parent | 867ba92c40a584df54f1ff88094b08a4fab6d6fd (diff) | |
| download | midipix_build-76f7b77b2e14f324b1f78bcf97be581a0bf670cb.tar.bz2 midipix_build-76f7b77b2e14f324b1f78bcf97be581a0bf670cb.tar.xz | |
Fixes transient mintty build failures (via katex.)
subr/ex_rtl_fetch.subr:exp_rtl_fetch_url_git(): correctly handle Git URL branch suffixes.
Diffstat (limited to 'patches/bdwgc_pre.local.patch')
0 files changed, 0 insertions, 0 deletions