We have pager and paging. paging is going to get used for virtual memory whether we want it or not, so I suggest making paging a synonym of virtual-memory (and leave pager for less and friends). I figure seeing paging redirect to virtual-memory should be enough of a hint to try another tag when you're after a pager.
|
| ||||
feedback
|
|
mattdm suggested the synonym already, so I approved it and merged | |||
|
feedback
|