diff options
| author | Alexandre Oliva <aoliva@redhat.com> | 2014-01-31 23:28:38 -0200 |
|---|---|---|
| committer | Alexandre Oliva <aoliva@redhat.com> | 2014-01-31 23:28:38 -0200 |
| commit | 9f529d7cfac3afacf602f9f04d8544dbacc33962 (patch) | |
| tree | d33b509d6d3ab098367c1cd39c70c0588a96ea75 /NEWS | |
| parent | 27aaa7911480751feb24d58a20c26890be85f425 (diff) | |
[BZ #12751]
* manual/memory.texi: Document MTASC-safety properties.
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -10,7 +10,7 @@ Version 2.19 * The following bugs are resolved with this release: 156, 387, 431, 762, 832, 926, 2801, 4772, 6786, 6787, 6807, 6810, 7003, - 9721, 9954, 10253, 10278, 11087, 11157, 11214, 12100, 12486, 12986, + 9721, 9954, 10253, 10278, 11087, 11157, 11214, 12100, 12486, 12751, 12986, 13028, 13982, 13985, 14029, 14032, 14120, 14143, 14155, 14286, 14547, 14699, 14752, 14782, 14876, 14910, 15004, 15048, 15073, 15089, 15128, 15218, 15268, 15277, 15308, 15362, 15374, 15400, 15425, 15427, 15483, |