- **status**: Fixed --> Verified
---
** [issues:#5145] Allow $... to specify a markup command**
**Status:** Verified
**Labels:** Fixed_2_19_63
**Created:** Mon Jun 12, 2017 03:16 PM UTC by David Kastrup
**Last Updated:** Sat Jun 17, 2017 06:51 AM UTC
**Owner:** David Kastrup
Allow $... to s
- **labels**: --> Fixed_2_19_63
- **status**: Started --> Fixed
- **Patch**: push -->
- **Comment**:
Pushed to staging as
commit c3b51542671a9af5647d4cbc63f7c8ae98c1c2bd
Author: David Kastrup
Date: Mon Jun 12 13:44:51 2017 +0200
Issue 5145/2: Allow $... to specify a markup command
- **Patch**: countdown --> push
- **Comment**:
Patch counted down - please push.
---
** [issues:#5145] Allow $... to specify a markup command**
**Status:** Started
**Created:** Mon Jun 12, 2017 03:16 PM UTC by David Kastrup
**Last Updated:** Wed Jun 14, 2017 07:41 AM UTC
**Owner:** David Kast
- **Patch**: review --> countdown
- **Comment**:
Patch on countdown for June 17th.
---
** [issues:#5145] Allow $... to specify a markup command**
**Status:** Started
**Created:** Mon Jun 12, 2017 03:16 PM UTC by David Kastrup
**Last Updated:** Tue Jun 13, 2017 07:54 AM UTC
**Owner:** David Ka
- Description has changed:
Diff:
- **Needs**: -->
- **Patch**: new --> review
- **Comment**:
Passes make, make check and a full make doc
---
** [issues:#5145] Allow $... to specify a markup command**
**Status:** Started
**Created:** Mon Jun 12, 2017 03:16 PM UTC by David Ka
---
** [issues:#5145] Allow $... to specify a markup command**
**Status:** Started
**Created:** Mon Jun 12, 2017 03:16 PM UTC by David Kastrup
**Last Updated:** Mon Jun 12, 2017 03:16 PM UTC
**Owner:** nobody
Allow $... to specify a markup command
This is a partial (though more flexible) su
