diff options
| author | Emilio Jesus Gallego Arias | 2020-05-14 01:36:44 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-05-14 01:36:44 +0200 |
| commit | 9c639d60715259bf73c1455089fb0c25dc597bdf (patch) | |
| tree | c053e8f0e1361a9c0277d074588ecb52f8dc91df /dev/tools/objects.el | |
| parent | 2a43f3ef8e932f55a8f697ae24fef7075e62eb54 (diff) | |
| parent | 354cf4233194e948a4630bf180643974017dc342 (diff) | |
Merge PR #12315: Tests for bugs #9583 (fixed by #11613) and #9679.
Reviewed-by: ejgallego
Diffstat (limited to 'dev/tools/objects.el')
0 files changed, 0 insertions, 0 deletions